Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings (Paperback, 1st ed. 2019)
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.
R1,606
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
16060
@R151pm x 12* 
Ships in 10 - 15 working days
Add to wish listReview this Item
Product Description
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.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Springer Nature Switzerland AG |
Country of origin | Switzerland |
Series | Theoretical Computer Science and General Issues, 11785 |
Release date | September 2019 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2019 |
Editors | David Parker, Verena Wolf |
Dimensions | 235 x 155mm (L x W) |
Format | Paperback |
Pages | 361 |
Edition | 1st ed. 2019 |
ISBN-13 | 978-3-03-030280-1 |
Barcode | 9783030302801 |
Categories | |
LSN | 3-03-030280-6 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
