Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings
2024 ed.
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
303168415X
ISBN-13
9783031684159
Edition
2024 ed.
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Aug 29th, 2024
Print length
338 Pages
Product Classification:
Computer hardwareSoftware EngineeringMaths for computer scientistsArtificial intelligence
Ksh 10,800.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024.
Get Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed 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.