Del 9700
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston, Rocco de Nicola
Häftad
689 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
Häftad, Engelska, 2024
929 kr
Beställningsvara. Skickas inom 7-10 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
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 12
A Compositional Approach to Performance Modelling
Jane Hillston, Jane (University of Edinburgh) Hillston, Hillston Jane
Häftad
709 kr
- Bokrea
Del 1