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 -  - Libros - Springer International Publishing AG - 9783319448770 - 17 de agosto de 2016
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
Mex$ 962
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 - 29 de jul.
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de agosto de 2016
ISBN13 9783319448770
Editores Springer International Publishing AG
Páginas 245
Dimensiones 155 × 235 × 14 mm   ·   3,99 kg
Lengua Alemán  
Editor Franzle, Martin
Editor Markey, Nicolas

Mere med samme udgiver