- Browse Category
Subjects
We Begin at the EndLearn More - Choice Picks
- Top 100 Free Books
- Blog
- Recently Added
- Submit your eBook
2021-01-08 17:25:50
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.
| Store | Availability | Book Format | Condition | Price |
|---|---|---|---|---|
| Indigo Books & Music | In Stock | Paperback | Paperback | Buy CAD 113.95 |
Sign up for free and start exploring thousands of eBooks today.
Sign up for free