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 $36.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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.
Reviews
Questions & Answers
Combating Desertification with Plants
$169.99
Moritz Schlick: Vorlesungen und Aufzeichnungen zur Geschichte und zum Begriff der Philosophie
$89.00
Develop on Yammer
$44.99
Nationalism, Transnationalism, and Political Islam
$19.99
The Dragon Prince Graphic Novel: Puzzle House
$9.74
Risikobeurteilung von Mensch-Roboter-Koexistenz-Systemen
$79.99
Space, Time, and Geometry
$169.99
Psychoneuroimmunologie psychiatrischer Erkrankungen
$54.99
Concise Reader of Chinese Literature History
$179.99
Pro DAX and Data Modeling in Power BI
$64.99
Nutrition and Feeding of Fish
$449.99
Lake Biwa: Interactions between Nature and People
$169.00
Applications and Innovations in Intelligent Systems XV
$219.99
Analysis and Assessment of Cardiovascular Function
$84.99
Steuerung von Koordinatenmegerten mit schlatenden und messenden Tastsystemen
$59.99
Markt oder Netzwerk
$74.99
Knowledge Discovery in Databases
$59.99
EU Global Actorness in a World of Contested Leadership
$159.99
EU Democracy Promotion and the Arab Spring
$54.99
Photorefractive Materials and Their Applications II
$39.99
Biosynthetic Products for Cancer Chemotherapy
$54.99
A Practical Guide to Trading and Tracing for the Energy Blockchain
$179.99
Electromagnetic Metamaterials and Metasurfaces: From Theory To Applications
$129.00
National Security and International Environmental Cooperation in the Arctic the Case of the Northe
$169.00
Manipulation der Meinungsbildung
$64.99
Enhancing Performance Regimes to Enable Outcome-based Policy Analysis in Cross-boundary Settings
$89.00
Jewish Consumer Cultures in Nineteenth and Twentieth-Century Europe and North America
$139.99
Discrete Fractional Calculus and Fractional Difference Equations
$54.99
Partial Differential Equations II
$84.99
Kontrastmittel in der Kardiologie
$59.99
Lehrbuch der Urologie
$59.99
Public Key Cryptography
$39.99
Schumpeter oder Keynes?
$69.99
Blast Cleaning Technology
$89.00
Complex-Valued Neural Networks
$189.00
Japans Foreign Aid Policy in Africa
$54.99
You Are My Sunshine
$5.24
Whats New in Cardiovascular Imaging?
$39.99
Practical Approaches to Earthquake Prediction and Warning
$219.99
Abbey Theatre
$44.99
