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 -  - Livros - Springer International Publishing AG - 9783319448770 - 17 de agosto de 2016
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
NOK 599

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 30 de out - 7 de nov
Adicione à sua lista de desejos do iMusic

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