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 -  - Books - Springer International Publishing AG - 9783031684159 - August 29, 2024
In case cover and title do not match, the title is correct

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

Price
$ 79.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 30 - Aug 5
Add to your iMusic wish list

Not rated yet

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.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 29, 2024
ISBN13 9783031684159
Publishers Springer International Publishing AG
Pages 338
Dimensions 150 × 220 × 10 mm   ·   494 g
Language German  
Editor Hillston, Jane
Editor Soudjani, Sadegh
Editor Waga, Masaki

More from the same publisher