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
Methodische Problemfelder der Erfolgsfaktorenforschung
$84.99
'The Chinese Century'?
$39.99
Who's In Rabbit's House?
$6.50
PRICAI'98: Topics in Artificial Intelligence
$84.99
E-Business-Management
$69.99
Digitalisierung des Bauschaffens
$54.99
Progress in Cryptology - AFRICACRYPT 2020
$54.99
Environmental Specimen Banking and Monitoring as Related to Banking
$219.99
Hochschullehre im Spannungsfeld zwischen individueller und institutioneller Verantwortung
$84.99
Fine- and Coarse-Grain Reconfigurable Computing
$109.99
Fhrungspraxis fr Ingenieure und IT-Experten
$49.99
Theoretical Advances and Applications of Fuzzy Logic and Soft Computing
$169.00
Friedensstiftung durch prventive Staatsgewalt
$69.99
When Compressive Sensing Meets Mobile Crowdsensing
$109.99
Infinite Matrices and their Finite Sections
$44.99
Predicates and Their Subjects
$169.99
Inorganic and Physical Chemistry
$39.99
Drug Therapy for Type 2 Diabetes
$39.99
Current Status of Fresh Water Microbiology
$219.00
Religion and Sustainability: Interreligious Resources, Interdisciplinary Responses
$129.00
Lebensbedrohliche ventrikulre Herzrhythmusstrungen
$54.99
Reconstructing Ocean History
$219.99
Berichte zur Lebensmittelsicherheit 2008
$39.99
Hearing and Hormones
$109.99
Elliptic Carleman Estimates and Applications to Stabilization and Controllability, Volume I
$159.99
Hamiltonian Mechanics
$129.00
Computational Science - ICCS 2007
$84.99
Konstruktionselemente des Maschinenbaus 1
$44.99
New Achievements in Unmanned Systems
$219.99
The New Poverty Strategies
$109.99
Notfall EKG-Fibel
$59.99
Beschreibung und Analyse unscharfer Information
$49.95
Recent Advances in Mechanical Engineering
$199.99
Agroforestry and Ecosystem Services
$179.99
Die Magnetosphre der Erde und ihre Dynamik
$39.99
Proceedings of the 10th International Operational Modal Analysis Conference (IOMAC 2024)
$299.99
Towards a Hybrid, Flexible and Socially Engaged Higher Education
$199.99
Facilities Management Handbook
$169.99
Contaminants and the Soil Environment in the Australasia-Pacific Region
$219.99
Offline!
$19.99
