Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 3032057914 ISBN 13: 9783032057914
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 108,62
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 490 pages. 9.25x6.10x9.21 inches. In Stock.
Anbieter: moluna, Greven, Deutschland
EUR 83,15
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took place in Aarhus, Denmark, during August 2025.The 26 full papers included in these proceedings were carefully reviewed and selected from 57 submissions. They focus on up to date research in quantitative evaluation of systems and formal modeling and analysis of timed systems.
Taschenbuch. Zustand: Neu. Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems | Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings | Pavithra Prabhakar (u. a.) | Taschenbuch | xiii | Englisch | 2025 | Springer | EAN 9783032057914 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.