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 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Reviews
Questions & Answers
Mathematical Theory of Optimization
$169.99
Progress in the Chemistry of Organic Natural Products
$84.99
Model and Design of Bipolar and MOS Current-Mode Logic
$129.00
The Geneva Papers
$84.99
Dryland Ecohydrology
$199.99
Duck On a Tractor (Hardcover)
$14.24
Once Upon a Chef: Weeknight/Weekend: 70 Quick-Fix Weeknight Dinners + 30 Luscious Weekend Recipes: A Cookbook by Jennifer Segal
$32.50
Strategiekonforme Organisationsgestaltung von Krankenhusern
$74.99
Urban Migration and Public Governance in China
$89.00
Experten fhren
$74.99
Urban Economics
$19.99
Fractional-Order Sliding Mode Control: Methodologies and Applications
$169.99
Innovation personenbezogener Dienstleistungen als Prozess
$39.99
Umhegt oder abhngig?
$79.99
Interkulturelles User Interface Design
$89.00
Vernetztes Verkaufen
$59.99
Managing Software Engineering
$39.99
Schulverweigerung
$59.99
Genetically Encoded Functional Indicators
$109.99
Social Commerce
$139.00
Reimagining Administrative Justice
$59.99
Recycling and Reuse Approaches for Better Sustainability
$84.99
Automatisieren mit SPS bersichten und bungsaufgaben
$54.99
Die wissenschaftliche Forschung als internationale Aufgabe. Die Bedeutung der Plasma-Antriebe in der
$59.99
Mathematische Modelle in der Biologie
$59.99
Dynamic Innovation in Outsourcing
$219.99
Einfhrung in die Kombinatorik
$29.99
Working Conditions in a Marketised University System
$139.99
Current Algebra and Phenomenological Lagrange Functions
$39.99
Problems in Geriatric Medicine
$54.99
Modern Survey Analysis
$109.99
Just Enough
$44.99
Little Scholastic-Baby Days: Busy Baby
$4.46
Multilingual Text-to-Speech Synthesis
$169.99
Goodness-of-Fit Statistics for Discrete Multivariate Data
$39.99
Advances in Combinatorial Methods and Applications to Probability and Statistics
$219.99
Physical Processes in Solar Flares
$129.00
Hantaviruses
$169.99
A New Perspective on Thermodynamics
$84.99
Bestsellers: Popular Fiction since 1900
$39.99
