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
Häftad, Engelska, 2024
1 129 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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
- Utgivningsdatum2024-08-29
- Mått155 x 235 x 20 mm
- Vikt534 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor338
- FörlagSpringer International Publishing AG
- ISBN9783031684159