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
Deceptive AI
Ksh 9,900.00
Artificial Intelligence for Sustainable Applications
Ksh 28,100.00
Edge Intelligence in the Making
Ksh 8,100.00
Intelligence of Things: Technologies and Applications
Ksh 32,400.00
Neural Networks for Knowledge Representation and Inference
Ksh 8,850.00
An Introduction to Robophilosophy Cognition, Intelligence, Autonomy, Consciousness, Conscience, and Ethics
Ksh 12,950.00
