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
Cerebellum and Neuronal Plasticity
$84.99
Grundriss der Mikrobiologie
$29.99
Cuentos Fonticos (Spanish Phonics Readers): La foto de Felipe
$3.71
Women and the Challenge of STEM Professions
$49.99
Advances in Clinical Science
$109.99
Diagnosis of Blood and Bone Marrow Disorders
$79.99
Elite zwischen Europisierung und nationalen Mustern
$64.99
Integrated Model of Distributed Systems
$109.99
Exploring the Mechanics of Chronic Inflation and Hyperinflation
$59.99
Logistics
$109.99
Human Origins and Environmental Backgrounds
$219.99
Intelligent Broadband Multimedia Networks
$249.99
Bryce Canyon (A True Book: National Parks)
$5.96
Advances in Enterprise Engineering XII
$54.99
Terrorism as Communication
$89.99
Multidisciplinary Management of Liver Metastases in Colorectal Cancer
$109.99
Physik fr Mediziner
$49.99
Partizipation fr alle und alles?
$69.99
Zertifizierung als Erfolgsfaktor
$74.99
Neurological Syndromes
$54.99
James Parkinson His Life and Times
$119.99
Agriculture and Internationl Relations
$44.99
Commutative Algebra I
$79.95
Congenital Hyperinsulinism
$99.99
Manipulatorpraxis
$59.99
The Bureaucratization of the World in the Neoliberal Era
$54.99
Moral Education
$169.99
Sustainability Issues in Environmental Geotechnics
$109.99
Fadenspannungen beim Naringspinnen von Bastfasern in ihrer Abhngigkeit von Fadenfhrung und Gestal
$59.99
Altern in der Stadt
$59.99
Frontiers in Fluid Mechanics
$54.99
Frontiers of Optical Spectroscopy
$249.99
Multi-Output Production and Duality: Theory and Applications
$129.00
Handbook of Electron Spin Resonance
$169.99
Vergleichende experimentelle und klinische Untersuchungen von 60Co--Strahlen und 200-kV-Rntgenstr
$59.99
Advanced Applications of Natural Language Processing for Performing Information Extraction
$54.99
The Rose Code by Kate Quinn
$19.99
Informationskonomische Fundierung von Austauschprozessen
$59.99
Alcohol and Sexual Violence
$139.99
The Key Code and Advanced Handbook for the Governance and Supervision of Banks in Australia
$219.99
