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
Performance and Computer-Aided Design
$54.99
Evolutionsbiologie
$49.99
Compendium of Theoretical Physics
$99.99
Biological Response Modifiers Interferons, Double-Stranded RNA and 2,5-Oligoadenylates
$109.99
Systemisches Innovations- und Kompetenzmanagement
$29.99
Physik fr das Ingenieurstudium
$39.99
Politics Is about Relationship
$70.00
Wirtschaftswerbung und die Meinungsfreiheit des Grundgesetzes
$64.99
Intimacy
$109.99
Molecular Mechanisms of Metal Toxicity and Carcinogenesis
$129.00
Demystifying Chinas Economy Development
$54.99
Deckungsbeitragsrechnung fr Ingenieure
$17.99
Geometric Measure Theory and Minimal Surfaces
$49.95
In and Out of Equilibrium 2
$84.99
rtliche Geschwindigkeitsverteilung an den Seiten und am Boden von Schiffen bei Flachwasserfahrten
$59.99
Prinzip Nation
$44.99
Forensische Arbeit mit Kindern und Jugendlichen
$99.99
City Form, Economics and Culture
$54.99
Screen- und Interfacedesign
$69.99
Beratung, Macht und organisationales Lernen
$39.99
Telling West Indian Lives
$54.99
Elektrokonvulsionstherapie kompakt
$79.99
Ultra-Low Energy Domain-Specific Instruction-Set Processors
$169.99
The Testing of Barbara Pym
$129.99
Programmierpraktikum fr Ingenieure
$69.99
Der Einsatz der Bundeswehr in Afghanistan
$39.99
Co-Creation of High-Tech Products in the B2B Domain
$54.99
Modern Trends and Research in Intermodal Transportation
$199.99
Containing Germany
$109.99
LMI Approach to Analysis and Control of Takagi-Sugeno Fuzzy Systems with Time Delay
$109.99
The Capital Structure Decision
$84.99
Boundary Blurred: A Seamless Customer Experience in Virtual and Real Spaces
$329.99
Untersuchungen zur extrakorporalen Nierenchirurgie, Nierenperfusion und Autotransplantation
$69.99
International Investment Law and Competition Law
$179.99
Das Mensch-Tier-Verhltnis als Gegenstand politischer Bildung
$74.99
Encyklopdie und Methodologie der Philologischen Wissenschaften
$49.99
Optimale Instandhaltungspolitiken in einfachen Systemen
$59.99
Untersuchungen zur methodischen Erarbeitung von Berufsanforderungsbildern fr Fahrerttigkeiten
$59.99
Biology, Cultivation and Applications of Mushrooms
$219.99
Thea Stilton: Thea Stilton and the Ghost of The Shipwreck (#3)
$6.74
