Pastāsti draugiem par šo preci:
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
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
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.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2024. gada 29. augusts |
| ISBN13 | 9783031684159 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 338 |
| Izmēri | 150 × 220 × 10 mm · 494 g |
| Valoda | Vācu |
| Redaktors | Hillston, Jane |
| Redaktors | Soudjani, Sadegh |
| Redaktors | Waga, Masaki |