Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
2023 ed.
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
3031436806
ISBN-13
9783031436802
Edition
2023 ed.
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Sep 17th, 2023
Print length
260 Pages
AI Summary
Ksh 9,900.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023. The 14 full papers included in this book were carefully reviewed and selected from 24 submissions.
Get Formal Methods for Industrial Critical 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
Service-Oriented Computing
Ksh 18,000.00
Operations Research and Enterprise Systems
Ksh 8,100.00
Dependable Software Engineering. Theories, Tools, and Applications
Ksh 12,600.00
Computer Aided Systems Theory – EUROCAST 2024
Ksh 10,800.00
Body Area Networks. Smart IoT and Big Data for Intelligent Health Management
Ksh 8,100.00
IoT Streams for Data-Driven Predictive Maintenance and IoT, Edge, and Mobile for Embedded Machine Learning
Ksh 13,500.00