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.
€57.90
购买此电子书可免费获赠一本！
语言 英语 ● 格式 EPUB ● ISBN 9783030302818 ● 编辑 David Parker & Verena Wolf ● 出版者 Springer International Publishing ● 发布时间 2019 ● 下载 3 时 ● 货币 EUR ● ID 7280972 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
48,701 此类电子书
