When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Formal Modeling and Analysis of Timed Systems : 10th International Conference...
- Item No : 388279892030
- Condition : Brand New
- Brand : No brand Info
- Seller : greatbookprices1
- Current Bid : US $62.99
-
* Item Description
- Formal Modeling and Analysis of Timed Systems : 10th International Conference, Formats 2012, London, Uk, September 18-20, 2012, Proceedings, Paperback by Jurdzinski, Marcin (EDT); Nickovic, Dejan (EDT), ISBN 3642333648, ISBN-13 9783642333644, Brand New, Free shipping in the US This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. Th covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
-
- The Lost Super Foods
- $ 37.00
- The Self-Sufficient Backyard
- $ 37.00
- A Navy Seals BUG IN GUIDE
- $ 39.00
- Childrens Books Phonics Lot 60
- $ 34.99
