Neu Erschienen: 29.08.2024 Grafik für das Drucken der Seite Abbildung von Hillston / Soudjani | Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems | 1. Auflage | 2024 | 14996 | beck-shop.de

Hillston / Soudjani / Waga

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

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Rezensionen ansehen

Standardpreis

70.61 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

Grafik Warenkorb In den Warenkorb Grafik Merkliste Auf die Merkliste

auch verfügbar als eBook (PDF) für 160.49 €

Fachbuch

Buch. Softcover

2024

xiv, 338 S. 36 s/w-Abbildungen, 54 Farbabbildungen, Bibliographien.

In englischer Sprache

Springer. ISBN 978-3-031-68415-9

Format (B x L): 15,5 x 23,5 cm

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 14996

Produktbeschreibung

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. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) and the 22nd International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2024) joint forces and took place as part of the CONFEST 2024 umbrella conference.

The 19 full papers presented in this book were carefully reviewed and selected from 33 submissions. They deal with up-to-date topics in quantitative evaluation and verification of systems, focusing on fundamental and practical aspects of systems with quantitative nature, such as probability, timing, and cost, and modeling, design and analysis of computational systems.





Mehr anzeigen

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Autorinnen/Autoren

    • Rezensionen

    Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
        • nach oben
        X

        Das Passwort muss mind. 8 Zeichen enthalten.
        (Darin sollte mind. ein Groß- und ein Kleinbuchstabe und mind. eine Ziffer enthalten sein.)

        Schließen

        Ihre Daten werden geladen ...