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
Chaotic Meta-heuristic Algorithms for Optimal Design of Structures
Ksh 23,400.00
Advanced Analytics and Learning on Temporal Data
Ksh 9,000.00
Information System Design: Communication Networks and IoT
Ksh 39,600.00
Software Product Management
Ksh 9,900.00
Haptics: Science, Technology, Applications
Ksh 6,300.00
Conversations with a Mathematician
Ksh 7,200.00
