Del 9700
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston
Häftad, 2016
558 kr
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
AvJane Hillston,Sadegh Soudjani
Häftad, Engelska, 2024
Del 14996 i serien Lecture Notes in Computer Science
833 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 12
- Nyhet
Del 2
- -19%
Del 7
- 4 för 3
- Nyhet
Del 6
- -19%
- -30%
- -22%
Del 3