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:
Buy FM 2012: Formal Methods for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Prozekostenrechnung
$59.99
Entrepreneurship and Social Innovation for Sustainability
$54.99
Annual Report on The Development of China's Special Economic Zones (2017)
$109.99
Patient Krankenhaus
$49.99
Best Friends Furever (Love Puppies #1)
$4.49
Neue Finanzwirtschaftliche Bilanzen
$69.99
Cancer Microenvironment and Therapeutic Implications
$169.99
Mass Dictatorship and Memory as Ever Present Past
$54.99
Sequence Comparison
$109.99
Fabrication of Heat-Resistant and Plastic-Formable Silicon Nitride
$54.99
Nineteenth-Century Anti-Catholic Discourses
$39.99
Chinese Investment in Australia
$54.99
Advanced Boolean Techniques
$119.99
Clinician's Guide to the Diagnosis and Management of Tooth Sensitivity
$84.99
Russia as a Network State
$39.99
Erziehungswissenschaft
$59.99
Outsourcing interner Dienste
$79.99
Rauchstopp
$24.99
Sturm-Liouville Theory
$129.00
Computer, Informatics, Cybernetics and Applications
$549.99
Singularities in Fluids, Plasmas and Optics
$169.00
Cold War Energy
$139.99
Handbuch fr die Bekleidungsindustrie
$59.99
Jdische Religion in Deutschland
$59.99
Lasers in the Musculoskeletal System
$39.99
Religious Resistance to Neoliberalism
$159.99
Diskrete Mathematik fr Einsteiger
$29.99
The Heart of Leonardo
$99.00
Electronic Circuits
$219.00
Berlin
$49.99
China in the WTO
$84.99
Zoogeography of Arachnida
$299.99
Geostatistics for Engineers and Earth Scientists
$169.99
The Functional Role of Critical Dynamics in Neural Systems
$149.00
Theory of Plates and Shells
$109.00
Knstliche Intelligenz
$24.99
Praxishandbuch Decentralized Finance
$84.99
Adoption of Innovation
$84.99
Non-Linear Dynamics Near and Far from Equilibrium
$84.99
Ethics, Integrity and Policymaking
$49.99
