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
Privacy Computing
Ksh 27,000.00
Integer Programming and Combinatorial Optimization
Ksh 13,500.00
Advances in 3D Image and Graphics Representation, Analysis, Computing and Information Technology
Ksh 32,400.00
Plane Finite Elements for Two-Dimensional Problems
Ksh 25,200.00
Security and Privacy
Ksh 8,100.00
Advances in Data Mining. Applications and Theoretical Aspects
Ksh 8,100.00
