Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

by David Parker

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 sel... Read more

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.

Less

Book Details

File size9.25 X 6.1 X 0 in
Print pages361
PublisherSpringer Nature
Publication date September 2, 2019
LanguageEnglish
ISBN9783030302801
David Parker is an internationally recognized property industry expert on real estate investment trusts (REITs) and a highly regarded property academic, being a director and adviser to property invest...

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Paperback Paperback Buy CAD 113.95
Indigo Books & MusicIn Stock
Format
Paperback
Condition
Paperback
Buy CAD 113.95
Available Discount
No Discount available

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free