Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings - Lecture Notes in Computer Science -  - Libros - Springer International Publishing AG - 9783031158384 - 29 de agosto de 2022
En caso de que portada y título no coincidan, el título será el correcto

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings - Lecture Notes in Computer Science 1st ed. 2022 edition


Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Añadir a tu lista de deseos de iMusic

Aún no valorado

This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022.


307 pages, 34 Illustrations, color; 26 Illustrations, black and white; XVII, 307 p. 60 illus., 34 il

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 29 de agosto de 2022
ISBN13 9783031158384
Editores Springer International Publishing AG
Páginas 307
Dimensiones 150 × 220 × 10 mm   ·   498 g
Lengua Alemán  
Editor Bogomolov, Sergiy
Editor Parker, David

Más del mismo editor