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
Ovarian Aging
$119.00
Urban Dynamics in the Post-pandemic Period
$99.00
Advances in Communication, Devices and Networking
$189.00
Maschinelles Lernen - Grundlagen und Anwendungen
$39.99
The Offshore Disposal of Radioactive Waste by Drilled Emplacement: A Feasibility Study
$109.99
Introduction to Nonparametric Statistics for the Biological Sciences Using R
$99.99
Die rztliche Aufklrung ber die Qualitt der Behandlung
$79.99
Fhrung auf Distanz
$44.99
Biosensors in Agriculture: Recent Trends and Future Perspectives
$219.99
Fundamentals of Digital Machine Computing
$34.99
Algorithmisches Lernen
$37.99
Volkswirtschaftstheorie und Volkswirtschaftspolitik
$59.99
The Theology of Martin Luther King, Jr. and Desmond Mpilo Tutu
$39.99
Acute Ischemic Stroke
$84.99
Solar Sails
$49.99
Konzernbezogene Unternehmensbewertung
$74.99
Customer Value Controlling
$79.99
Cognitive Microgenesis
$39.99
Online Coaching
$129.99
Schwierige Verhltnisse
$59.99
The Social, Political and Historical Contours of Deportation
$84.99
A Comprehensive Cognitive Behavioral Program for Offenders
$54.99
Pro Visual Studio 2005 Team System Application Development
$49.99
Ethics of Innovation in Neurosurgery
$109.99
Using Multimodal Representations to Support Learning in the Science Classroom
$39.99
The Eating Disorders
$39.99
Polarizable Embedding for the Algebraic-Diagrammatic Construction Scheme
$39.99
Convection in Porous Media
$379.99
Consuming Mass Fashion in 1930s England
$109.99
Fault-Tolerant Distributed Computing
$39.99
The German Crane Industry
$54.99
TopSpeed Modula-2 von A..Z
$54.99
Public Investment and Public-Private Partnerships
$54.99
Carbon and Oxide Nanostructures
$129.00
Medieninhalte im Gesprch
$79.99
The Social Organization of Schools
$109.99
The Great War in American and British Cinema, 19181938
$89.00
Strukturgleichungsmodelle
$24.99
Untersuchungen ber das Verhalten und die Wirkungsweise verschiedener Trockenlschmittel
$49.99
Marketing und Business Development in Kanzleien
$59.99
