Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings - Lecture Notes in Computer Science - - Books - Springer International Publishing AG - 9783319448770 - August 17, 2016
In case cover and title do not match, the title is correct

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition

Price
SFr. 44.49
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 5 - 17

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. They are organized in topical sections entitled: modeling timed phenomena;

257 pages, 67 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 17, 2016
ISBN13 9783319448770
Publishers Springer International Publishing AG
Pages 245
Dimensions 155 × 235 × 14 mm   ·   3.99 kg
Language German  
Editor Franzle, Martin
Editor Markey, Nicolas