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
AI Summary
Ksh 11,700.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
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.
Discover books you might love based on this title.
More in This Genre
Intelligent Systems in Digital Transformation
Ksh 36,000.00
Knowledge Graphs and Semantic Web
Ksh 9,900.00
Advances in Smart Medical, IoT & Artificial Intelligence
Ksh 36,000.00
Advancements in Interdisciplinary Research
Ksh 16,200.00
Advances in Systems Engineering
Ksh 36,000.00
Interactive Collaborative Robotics
Ksh 9,900.00