Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings - Lecture Notes in Computer Science -  - Livros - Springer Nature Switzerland AG - 9783030001506 - 26 de agosto de 2018
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings - Lecture Notes in Computer Science 2018 edition

Preço
NOK 569
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 27 de ago - 2 de set
Adicione à sua lista de desejos do iMusic

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings - Lecture Notes in Computer Science 2018 edition

This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions.


289 pages, 59 Illustrations, black and white; X, 289 p. 59 illus.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 26 de agosto de 2018
ISBN13 9783030001506
Editoras Springer Nature Switzerland AG
Páginas 289
Dimensões 462 g
Idioma German  
Editor Jansen, David N.
Editor Prabhakar, Pavithra