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
Die flexible Supervision
$49.99
First-Trimester Ultrasound
$169.00
Dangerous and Dishonest Men: The International Bankers of Louis XIV's France
$84.99
Therapeutic Farms
$79.99
Comedy in Crises
$159.99
Das Risiko im Entscheidungsproze
$59.99
Morse Theoretic Methods in Nonlinear Analysis and in Symplectic Topology
$329.99
This Is Our House
$5.21
Ultrashort Electric Pulse Effects in Biology and Medicine
$199.99
Sustainable Heavy Metal Remediation
$84.99
Dynamics and Control of Trajectory Tubes
$54.99
Millimeter-Wave Integrated Circuits
$139.99
Archaeology Under Dictatorship
$84.99
Estrogens, Progestins and their Antagonists
$109.99
Mind-Body
$54.99
Bioremediation and Green Technologies
$169.99
Spatial Similarity Relations in Multi-scale Map Spaces
$109.99
Entertainment Computing - ICEC 2012
$109.99
Christentum und Islam als politische Religionen
$49.99
3D ohne 3D-Brille
$39.99
Persnlichkeitspsychologie: Paradigmen Strmungen Theorien
$49.99
Gewerbehygiene und Klinik der Kieselgursilikose
$59.99
Combinatorics
$54.99
La Profitabilit comme facteur de linvestissement. Einige Aspekte von Theorie und Empirie segmentie
$59.99
The Business of iOS App Development
$34.99
Model Validation and Uncertainty Quantification, Volume 3
$249.99
Coasean Economics Law and Economics and the New Institutional Economics
$169.99
The Definitive Guide to SWT and JFace
$39.99
Grover Cleveland's New Foreign Policy
$54.99
Light:Its Interaction with Art and Antiquities
$169.99
Engaging Families as Children's First Mathematics Educators
$84.99
Aging and the Heart
$89.00
Mine Wastes
$189.00
Teaching, Research, Innovation and Public Engagement
$159.99
Algorithms and Data Structures
$54.99
Israeli-Arab Political Mobilization
$54.99
Expertise and Participation
$159.99
Menschenrechte und europische Auenpolitik
$64.99
Chinese Lexical Semantics
$109.99
Clifford Algebras and their Applications in Mathematical Physics
$219.99
