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
Mex$ 1.401
sin IVA

Pedido desde almacén remoto

Entrega prevista 4 - 14 de ago.
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Más del mismo editor