Tell your friends about this item:
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
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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| To be released | October 7, 2026 |
| ISBN13 | 9783032352972 |
| Publishers | Springer Nature Switzerland AG |
| Pages | 446 |
| Dimensions | 150 × 220 × 10 mm · 669 g (Weight (estimated)) |
| Editor | Chen, Mingshuai |
| Editor | Tschaikowski, Max |