Recomienda este artículo a tus amigos:
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings - Lecture Notes in Computer Science Laure Petrucci 1st ed. 2023 edition
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings - Lecture Notes in Computer Science
Laure Petrucci
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023.
181 pages, 45 Illustrations, color; 21 Illustrations, black and white; XIV, 181 p. 66 illus., 45 ill
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 29 de agosto de 2023 |
| ISBN13 | 9783031426254 |
| Editores | Springer International Publishing AG |
| Páginas | 181 |
| Dimensiones | 150 × 220 × 10 mm · 281 g |
| Lengua | Inglés |
| Editor | Petrucci, Laure |
| Editor | Sproston, Jeremy |