Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Formal Methods for Industrial Critical Systems
Best Price (Coupon Required):
Buy Formal Methods for Industrial Critical Systems for $45.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$49.99 | $49.99 |
|
10% OFF
This deals requires coupon
|
$45.00 | See Site | In stock | Visit Store |
Product Details
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 2022, 2023. The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Reviews
Questions & Answers
Komplexometrische und andere titrimetrische Methoden des klinischen Laboratoriums
$69.99
Oxford, the Collegiate University
$84.99
Learn Autodesk Inventor 2018 Basics
$49.99
Nursing, Policy and Politics in Twentieth-century Chile
$129.99
Felicia Hemans
$109.99
A Systematic Catalogue of the Genus Zygaena Fabricius (Lepidoptera: Zygaenidae)
$84.99
Cooperative Design, Visualization, and Engineering
$39.99
Probabilistic Safety Assessment and Management
$129.00
Proceedings of SAE-China Congress 2015: Selected Papers
$169.00
Zirkulre Positionen 3
$44.99
Metaarchaeology
$129.00
Formal Modeling and Analysis of Timed Systems
$39.99
The Creation of the Organisation for the Prohibition of Chemical Weapons
$54.99
Structured Matrices and Polynomials
$39.99
Micromorphology of Soils and Paleosols of India
$139.99
My Health: What Makes You Cough, Sneeze, Burp, Hiccup, Blink, Yawn, Sweat, and Shiver?
$5.21
Parteien, Kulturen und Konflikte
$69.99
Wie soll das Volk entscheiden?
$69.99
Nachfragerbndelungen als Marketinginstrument
$69.99
Singular Semi-Riemannian Geometry
$109.99
Advances in Cryptology CRYPTO 2022
$54.99
Signal and Image Processing in Medical Applications
$54.99
Kumulierte Serienrezeption
$39.99
Advances in Machine Learning
$39.99
Radiology of the Upper Urinary Tract
$54.99
Finanzierung
$59.99
Computational Science -- ICCS 2005
$109.99
Social Vulnerability to COVID-19
$64.99
Application and Theory of Petri Nets
$39.99
In vitro Diagnostic Medical Devices: Law and Practice in Five EU Member States
$109.99
Azure SQL Hyperscale Revealed
$44.99
Adaptive Techniques for Dynamic Processor Optimization
$129.00
Proceedings of the 1993 Academy of Marketing Science (AMS) Annual Conference
$169.99
Out-of Hospital Ventilation
$139.99
Sport Science Research and Technology Support
$39.99
In memoriam Wolfgang Jaeger
$69.99
Monastic Perspectives on Temporality
$109.00
Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future
$189.00
International Symposium on Mathematics, Quantum Theory, and Cryptography
$59.99
Meningiomas
$84.99
