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 -  - Grāmatas - Springer International Publishing AG - 9783031684159 - 2024. gada 29. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 78,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 6. - 14. okt.
Pievienot savam iMusic vēlmju sarakstam

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.

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

Vairāk no tā paša izdevēja