Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings - Lecture Notes in Computer Science -  - Libros - Springer International Publishing AG - 9783031684159 - 29 de agosto de 2024
En caso de que portada y título no coincidan, el título será el correcto

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings - Lecture Notes in Computer Science 2024 edition

Precio
$ 81,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de iMusic

This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 29 de agosto de 2024
ISBN13 9783031684159
Editores Springer International Publishing AG
Páginas 338
Dimensiones 150 × 220 × 10 mm   ·   494 g
Lengua Alemán  
Editor Hillston, Jane
Editor Soudjani, Sadegh
Editor Waga, Masaki

Mere med samme udgiver