Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Third International Joint Conference, QEST+FORMATS 2026, Liverpool, UK, September 2–4, 2026, Proceedings - Lecture Notes in Computer Science -  - Books - Springer Nature Switzerland AG - 9783032352972 - August 30, 2026
In case cover and title do not match, the title is correct

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Third International Joint Conference, QEST+FORMATS 2026, Liverpool, UK, September 2–4, 2026, Proceedings - Lecture Notes in Computer Science


Get an email once the item is available
Do you have a profile? Log in
Add to your iMusic wish list

Not rated yet

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 30, 2026
ISBN13 9783032352972
Publishers Springer Nature Switzerland AG
Pages 446
Dimensions 150 × 220 × 10 mm   ·   639 g
Editor Chen, Mingshuai
Editor Tschaikowski, Max

More from the same publisher