Quantitative Evaluation of Systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
1st ed. 2022
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
3031163354
ISBN-13
9783031163357
Edition
1st ed. 2022
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Sep 11th, 2022
Print length
399 Pages
AI Summary
Ksh 8,100.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions.
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.
The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.
Get Quantitative Evaluation of Systems by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
Discover books you might love based on this title.
More in This Genre
Robust and Error-Free Geometric Computing
Ksh 8,850.00
Advances in Computer Graphics
Ksh 18,000.00
Applied Computer Sciences in Engineering
Ksh 11,700.00
Software Architecture and Decision-Making
Ksh 5,750.00
Trends in Mathematical, Information and Data Sciences
Ksh 36,000.00
Interactive Theorem Proving
Ksh 8,100.00
