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
Festschrift der Arbeitsgemeinschaft fr Forschung des Landes Nordrhein-Westfalen zu Ehren des Herrn
$49.99
Cognitive Processing Routes in Consecutive Interpreting
$119.99
The Ad Hoc Diplomat: A Study in Municipal and International Law
$54.99
Methodology, Models and Algorithms in Thermographic Diagnostics
$109.99
Temporal GIS
$129.00
Foundations of Computational Intelligence Volume 5
$219.99
On Religion and Psychology
$109.99
Mechanisms of Woody Plant Defenses Against Insects
$84.99
Einfhrung in die Regelungstechnik
$29.99
Residue Reviews / Rckstands-Berichte
$39.99
Welcome Books-Weekend Fun: Let's Go to the Aquarium
$3.71
A Comparative Study of Chinese and Western Legal Language and Culture
$159.99
Nichtlineare Modelle und die langfristige Entwicklung der Staatsttigkeit
$44.99
Development of Self-Determination Through the Life-Course
$199.99
Cranial Osteomyelitis
$109.99
E-Learning im Lehralltag
$39.99
Brain Theory From A Circuits And Systems Perspective
$169.00
Governance for Drought Resilience
$59.99
Daily Math Starters: Grade 6
$9.74
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
$84.99
Human Resource Development in Vietnam
$179.99
Gender and Educational Philanthropy
$54.99
Oncology in the Precision Medicine Era
$79.99
Information Technology and Intelligent Transportation Systems
$219.99
Perspectives on Philosophy of Management and Business Ethics
$139.99
The Cloud DBA-Oracle
$44.99
Education and Development in Zimbabwe
$49.99
Vaccines
$84.99
Barra and Zaman: Reading Egyptian Modernity in Shadi Abdel Salams The Mummy
$69.99
Handbook of Health Decision Science
$39.99
Molly, by Golly!
$5.21
Electronic Structure of Quantum Confined Atoms and Molecules
$219.99
Natural Interaction in Medical Training
$54.99
Discrete-Time Markov Control Processes
$129.00
Aesthetics and Economics
$109.99
Automated Grammatical Error Detection for Language Learners
$42.00
Brgerliches Recht - Schnell erfasst
$19.95
Scale Dynamics of Interacting Particles
$109.00
Vitreoretinal Surgery
$54.99
Pumpkin Time
$3.71
