Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642327582
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Inquiry, Forms, and Substances

Inquiry, Forms, and Substances

$109.99
AI '88

AI '88

$39.99
Die Messung des zeitlichen Temperaturverlaufes in Gewebebahnen whrend einer Heibehandlung

Die Messung des zeitlichen Temperaturverlaufes in Gewebebahnen whrend einer Heibehandlung

$59.99
Affinity Biosensors

Affinity Biosensors

$84.99
Technologies for Sustainable Buildings and Infrastructure

Technologies for Sustainable Buildings and Infrastructure

$279.99
Politik und Wirtschaft unterrichten

Politik und Wirtschaft unterrichten

$49.99
Anatomical Imaging

Anatomical Imaging

$129.00
Microfinance in Developing Countries

Microfinance in Developing Countries

$109.99
Human Rights for Refugees and Other Marginalised Persons

Human Rights for Refugees and Other Marginalised Persons

$84.99
Eine Kundgebung fr die Notgemeinschaft der Deutschen Wissenschaft

Eine Kundgebung fr die Notgemeinschaft der Deutschen Wissenschaft

$54.99
Migrants, Refugees and Asylum Seekers Integration in European Labour Markets

Migrants, Refugees and Asylum Seekers Integration in European Labour Markets

$59.99
How Legal Theory Can Save the Life of Healthcare Ethics

How Legal Theory Can Save the Life of Healthcare Ethics

$54.99
Practical Video Game Bots

Practical Video Game Bots

$44.99
Riemann Surfaces and Generalized Theta Functions

Riemann Surfaces and Generalized Theta Functions

$39.99
Orthomodular Lattices

Orthomodular Lattices

$109.99
Ethics and the Will

Ethics and the Will

$169.99
Saddle-Point Problems and Their Iterative Solution

Saddle-Point Problems and Their Iterative Solution

$49.99
The Limits of Transnationalism

The Limits of Transnationalism

$54.99
Chest Pain with Normal Coronary Angiograms: Pathogenesis, Diagnosis and Management

Chest Pain with Normal Coronary Angiograms: Pathogenesis, Diagnosis and Management

$169.00
Corporate Governance in der Praxis mittelstndischer Unternehmen

Corporate Governance in der Praxis mittelstndischer Unternehmen

$39.99
Vom Hidden Champion zum Brand Champion

Vom Hidden Champion zum Brand Champion

$59.99
Drug Delivery to the Central Nervous System

Drug Delivery to the Central Nervous System

$169.99
Management of Technological Change

Management of Technological Change

$169.99
Quantum Mechanical Electronic Structure Calculations with Chemical Accuracy

Quantum Mechanical Electronic Structure Calculations with Chemical Accuracy

$99.00
Wrinkled Polymer Surfaces

Wrinkled Polymer Surfaces

$169.99
Algorithmic Aspects of Cloud Computing

Algorithmic Aspects of Cloud Computing

$60.00
Regional Research Frontiers - Vol. 1

Regional Research Frontiers - Vol. 1

$159.99
Smoothed Particle Hydrodynamics

Smoothed Particle Hydrodynamics

$99.99
Bemerkungen zu den Wettbewerbsbedingungen zwischen Kohle und Erdl

Bemerkungen zu den Wettbewerbsbedingungen zwischen Kohle und Erdl

$59.99
The Demography of Health and Health Care (second edition)

The Demography of Health and Health Care (second edition)

$39.99
From Fourier Analysis and Number Theory to Radon Transforms and Geometry

From Fourier Analysis and Number Theory to Radon Transforms and Geometry

$169.99
Iterative Learning Control for Deterministic Systems

Iterative Learning Control for Deterministic Systems

$39.99
Handbook of Popular Culture and Biomedicine

Handbook of Popular Culture and Biomedicine

$159.99
Dark Energy and the Formation of the Scale Structure of the Universe

Dark Energy and the Formation of the Scale Structure of the Universe

$84.99
Studies of Mind and Brain

Studies of Mind and Brain

$249.99
In-vitro-Fertilisation  ein umstrittenes Experiment

In-vitro-Fertilisation ein umstrittenes Experiment

$69.99
Nutraceuticals and Functional Foods in Immunomodulators

Nutraceuticals and Functional Foods in Immunomodulators

$249.99
Soft Computing for Complex Multiple Criteria Decision Making

Soft Computing for Complex Multiple Criteria Decision Making

$84.99
Grundbegriffe der Literaturtheorie

Grundbegriffe der Literaturtheorie

$19.99
Frankfurter-Befindlichkeits-Skala (FBS)

Frankfurter-Befindlichkeits-Skala (FBS)

$29.99
previous
next