Masaki Waga – författare
Visar alla böcker från författaren Masaki Waga. Handla med fri frakt och snabb leverans.
2 produkter
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
Av Jane Hillston, Sadegh Soudjani m. fl.
Häftad, 2024
846 kr
Lägg i varukorg
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. This year the 21th International Conference …
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
Av Masaki Waga, Sadegh Soudjani m. fl.
E-bok, 2024
1067 kr
Lägg i varukorg
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. This year the 21th International Conference …
