Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Quantitative Evaluation of Systems
CHF 80.75
Auf Lager
SKU
IEUCS5S10K2
1 Verfügbar 
Geliefert zwischen Mi., 22.04.2026 und Do., 23.04.2026
Details
This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019.
The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions. The papers cover topics in the field of Probabilistic Verification; Learning and Verification; Hybrid Systems; Security; Probabilistic Modelling and Abstraction; and Applications and Tools.
Inhalt
Probabilistic Verification.- Learning and Verification.- Hybrid Systems.- Security.- Probabilistic Modelling and Abstraction.- Applications and Tools.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783030302801
- Editor Verena Wolf, David Parker
- Sprache Englisch
- Auflage 1st edition 2019
- Größe H235mm x B155mm x T21mm
- Jahr 2019
- EAN 9783030302801
- Format Kartonierter Einband
- ISBN 3030302806
- Veröffentlichung 02.09.2019
- Titel Quantitative Evaluation of Systems
- Untertitel 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings
- Gewicht 569g
- Herausgeber Springer International Publishing
- Anzahl Seiten 376
- Lesemotiv Verstehen
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
