Quantitative Evaluation of Systems
16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
-
- 42,99 €
-
- 42,99 €
Description de l’éditeur
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.
GENRE
Informatique et Internet
SORTIE
2019
4 septembre
LANGUE
EN
Anglais
LONGUEUR
372
Pages
ÉDITIONS
Springer International Publishing
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
24,2
Mo
Exporter - Pratique du commerce international - 27e édition
2020
Fortitude: Rev Charles Stewart and the United Evangelical Church
2012
Global Real Estate Investment Trusts
2012
Exporter - Pratique du commerce international - 28e édition
2024
Sideline Management in Sports
2024
Innovations In GIS
2023