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
FM 2012: Formal Methods
Best Price (Coupon Required):
Buy FM 2012: Formal Methods 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 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.
Reviews
Questions & Answers
Emerging Non-volatile Memory Technologies
$119.00
The Undermining of Austria-Hungary
$89.99
Computational Toxicology
$199.99
The Polyol Paradigm and Complications of Diabetes
$39.99
Investment Decisions and the Logic of Valuation
$84.99
Molecular Mechanisms in the Pathogenesis of Idiopathic Nephrotic Syndrome
$109.99
Measurement of Nonlinear Ultrasonic Characteristics
$199.99
Anna and Banana: Anna, Banana, and the Friendship Split
$5.21
Substance Use Disorders
$119.99
Advances in Industrial Safety
$129.00
Intersexuality in the Animal Kingdom
$109.99
Translational Bioinformatics and Its Application
$199.99
Das Zusammenspiel von Product Placement und Co-Promotion
$54.99
Managing Your Software Project
$54.99
Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering
$49.99
Der Prozess der fachlichen Differenzierung an Hochschulen
$39.99
Sound and Music for Games
$44.99
My Books Summer Grade PreK School Readiness Pack 5-Book Pack
$29.95
The Venture Capital Investment Process
$84.99
Exercise Manual in Probability Theory
$54.99
Zur Lage der Familie und der Familienpolitik in der Bundesrepublik Deutschland
$59.99
European Aestheticism and Spanish American Modernismo
$39.99
Butchering, Processing and Preservation of Meat
$139.99
Proceedings of the 1988 Academy of Marketing Science (AMS) Annual Conference
$169.99
Machine Learning and Data Mining in Pattern Recognition
$54.99
Problems of Seismology
$54.99
Geopolitical Turmoil in the Balkans and Eastern Mediterranean
$119.00
Die Transnationalisierung der Arbeitswelt am Beispiel von Erwerbsmobilitt in der Europischen Union
$54.99
CONCUR 2008 - Concurrency Theory
$39.99
The Reaction Wheel Pendulum
$29.99
Der Einsatz von E-Procurement in mittelgroen Unternehmen
$79.99
Teaching 21st Century Genres
$99.99
Schlsselkompetenzen: Qualifikationen fr Studium und Beruf
$17.99
Riverine Ecosystem Management
$59.99
New Trends in Language Acquisition Within the Generative Perspective
$159.99
Rationelle Energienutzung im Gartenbau
$84.99
Umwelt- und Marktanalysen in Sdostasien
$59.99
Menschsein in einer technisierten Welt
$74.99
TextileMaterialsforGoodHealthandWellbeing
$199.99
Pro OpenSolaris
$44.99
