Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031681493
Condition
New
Product Description
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 913, 2024. The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.
Available Colors
Available Sizes
1 Offer
Price Range: $64.99 - $64.99
Price Comparison
Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
---|---|---|---|---|---|---|---|---|---|---|
BEST PRICE 1 Product Purchase
|
$64.99 | $64.99 |
|
$64.99 | See Site | In stock | Visit Store |