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 - Libros - Springer International Publishing AG - 9783031426254 - 29 de agosto de 2023
En caso de que portada y título no coincidan, el título será el correcto

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings - Lecture Notes in Computer Science 1st ed. 2023 edition

Precio
$ 60,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.
Añadir a tu lista de deseos de iMusic

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

Mere med samme udgiver