
Conte aos seus amigos sobre este item:
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
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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 17 de agosto de 2016 |
ISBN13 | 9783319448770 |
Editoras | Springer International Publishing AG |
Páginas | 245 |
Dimensões | 155 × 235 × 14 mm · 3,99 kg |
Idioma | German |
Editor | Franzle, Martin |
Editor | Markey, Nicolas |