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
Financial Structure in Business
$54.99
Computer Graphics
$39.99
Quantitative Methoden 2. Einfhrung in die Statistik fr Psychologen und Sozialwissenschaftler
$14.99
Innovation Design
$129.99
Irrweg fr Carlotta
$59.99
Potential Carcinogenic Hazards from Drugs
$39.99
Datenbertragung Technik der Daten- und Textkommunikation
$29.99
Advances in Computer Science - ASIAN 2007. Computer and Network Security
$39.99
Erfolgreiche Karrierestrategie
$34.99
Smart Nanomaterials Targeting Pathological Hypoxia
$169.00
Spirochete Biology: The Post Genomic Era
$119.00
Digital Forensic Science
$44.99
Sustainable Digital Communities
$109.99
What's What?
$5.21
Graphen und Digraphen
$49.99
Towards Equity in Mathematics Education
$159.99
Dendrimers III
$259.00
Scripting Computer-Supported Collaborative Learning
$89.00
Supernovae
$109.99
Mathematik fr Ingenieure: Verstehen Rechnen Anwenden
$44.99
Religious Diversity and Interreligious Dialogue
$119.00
Between Nucleus and Cytoplasm
$219.99
Analyzing Narratives in Social Networks
$199.99
Das Triade-Konzept der Personalentwicklung
$17.99
Progress in Life Cycle Assessment 2018
$109.99
Aktueller Stand der klinischen Anaesthesie
$69.99
Optimal Control of Coupled Systems of Partial Differential Equations
$129.00
Economic Reform, Trade and Agricultural Development
$54.99
Antiglobulins, cryoglobulins and glomerulonephritis
$39.99
Transport and the Development of the European Economy, 17501918
$39.99
Topmanagement und Angst
$64.99
Latente Mechanismen sozialer Hierarchisierung
$44.99
Anleitung zur Abschtzung stehender Kiefern nach Massentafeln und nach dem Augenmasse
$39.99
Electrical Properties of Tissues
$219.99
Herstellung und Untersuchung von Galliumarsenid-Einkristallen
$59.99
Introduction to Random Processes
$54.99
Agents and Artificial Intelligence
$79.99
Materials, Design and Manufacturing for Sustainable Environment
$169.99
Calcium-Binding Proteins and RAGE
$89.00
Organic Computing
$129.00
