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
Critical Systems: Formal Methods and Automated Verification
Best Price (Coupon Required):
Buy Critical Systems: Formal Methods and Automated Verification 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 refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.
Reviews
Questions & Answers
Malign Masters Gentile Heidegger Lukcs Wittgenstein
$109.99
Der medizinisch nicht indizierte Eingriff zur kognitiven Leistungssteigerung aus rechtlicher Sicht
$89.99
Sharpening Mathematical Analysis Skills
$69.99
Measles and Poliomyelitis
$54.99
Biopolymers PVA Hydrogels Anionic Polymerisation Nanocomposites
$169.00
Measurement and Sensor Systems
$179.99
Social Informatics
$39.99
Platons grotesker Irrtum
$9.99
Fast Software Encryption
$39.99
Advances in Information and Communication
$249.99
China Engages Latin America
$119.99
Malignant Mesothelioma
$219.99
OpenMP: Portable Multi-Level Parallelism on Modern Systems
$84.99
The Joy of Mixology: The Consummate Guide to the Bartender's Craft (Revised and Updated Edition) by Gary Regan
$30.00
Citizen Empowered Mapping
$99.00
North American Crop Wild Relatives, Volume 1
$109.00
Expert VB 2005 Business Objects
$54.99
Agent-Based Modeling Meets Gaming Simulation
$84.99
Physiologie und Pathologie des Mineralstoffwechsels
$49.99
Family Businesses Growth
$79.99
100 Rezepte fr Turbo Pascal
$69.95
Aufwachsen und Lernen in der Sozialen Stadt
$64.99
Advances in Digital Health and Medical Bioengineering
$249.99
Architectural Humanities in Progress
$119.99
Denkwrdigkeiten von Heinrich und Amalie von Beguelin aus den Jahren 18071813 nebst Briefen von Gne
$59.99
The International Criminal Court at the Mercy of Powerful States
$159.99
Transition Metal Catalyzed Carbonylation Reactions
$109.99
Kurz- und mittelfristige Finanzierung
$59.99
Encoder und Motor-Feedback-Systeme
$59.99
Methodological Issues in Social Entrepreneurship Knowledge and Practice
$149.00
Tax Strategies for the Business Owner
$29.99
Workplace Learning
$39.99
Continuous Time Modeling in the Behavioral and Related Sciences
$109.99
Grundstze soliden Investierens
$39.99
Der Durchflu des Wassers durch Rhren und Grben insbesondere durch Werkgrben groer Abmessungen
$84.99
A Novel Lidar Ceilometer
$109.99
Nachhaltig verhandeln im Technischen Einkauf
$59.99
Power and Resistance in the New World Order
$84.99
Defects and Surface-Induced Effects in Advanced Perovskites
$109.99
Dynamic Behavior of Pipelines for Marine Applications
$49.99
