Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings - Lecture Notes in Computer Science -  - Libros - Springer Nature Switzerland AG - 9783030001506 - 26 de agosto de 2018
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.
Añadir a tu lista de deseos de iMusic

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.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de agosto de 2018
ISBN13 9783030001506
Editores Springer Nature Switzerland AG
Páginas 289
Dimensiones 150 × 220 × 10 mm   ·   462 g
Lengua Alemán  
Editor Jansen, David N.
Editor Prabhakar, Pavithra

Mere med samme udgiver