Buy Books Online > Applied mathematics > Formal Modeling and Analysis of Timed Systems: 5th International Conference Formats 2007 Salzburg Austria October 3-5 2007 Proceedings (English) (Paperback)
Formal Modeling and Analysis of Timed Systems: 5th International Conference  Formats 2007  Salzburg  Austria  October 3-5  2007  Proceedings (English) (Paperback): Book by P S Thiagarajan

Formal Modeling and Analysis of Timed Systems: 5th International Conference Formats 2007 Salzburg Austria October 3-5 2007 Proceedings (English) (Paperback)

Product Details:    Share this by email:

ISBN: 9783540754534    Publisher: Springer Year of publishing: 2007     Format:  Paperback No of Pages: 372        Language: English
This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2007. It covers work on foundations and semantics of timed systems...Read more
This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2007. It covers work on foundations and semantics of timed systems examines techniques algorithms data structures and software tools for analyzing timed systems and resolving temporal constraints and details applications like real-time software hardware circuits and problems of scheduling in manufacturing and telecommunication.
Read less

Recommended Books for you - See all

Price: Rs. 4418   Rs.953
You save: Rs.3465
Vendor : Heritage Publishers, Delhi
BUY NOW

FREE SHIPPING | Delivered in 21 working days

(Cash on delivery not available)

Imported Edition

Be assured. 7 days Return & Refund Policy.
Click here

Rs.200 OFF

on purchase of Rs.500 & above

1.Click on Add to Cart & Proceed to Checkout
2.Under payment options, choose
"Redeem Coupon Code/Gift Certificate"
3.Enter Promo Code "SHOP200"
4.Get Rs.200 off, Pay Balance Amount

Valid upto 21st July,13

Rs.200 OFF

on purchase of Rs.500 & above

Terms & Conditions