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
Physikalische und Technische Akustik
$64.99
Die Arbeitskampfbeteiligung von Auenseitern
$69.99
Studies of Mind and Brain
$249.99
Medienpolitik fr Europa
$39.99
Geometry of Deep Learning
$44.99
Profit Controllership
$59.99
Optimale Stufenrdergetriebe fr Werkzeugmaschinen
$44.99
Einfhrung in die Soziologie
$29.99
Trocknungstechnik
$69.99
Teaching in Tension
$49.99
Electromagnetic Foundations of Solar Radiation Collection
$84.99
Regulationsmodelle und ihre Anwendung auf die Blutbildung
$69.99
Topics in Identification and Distributed Parameter Systems
$59.99
Machine Conversations
$169.99
A Politics of Inevitability
$54.99
Investitions- und Finanzplanung mit dem Ziel der Endwertmaximierung
$49.99
Practical Manual of Hysteroscopy
$89.00
Natural Language Processing and Information Systems
$39.99
Patientenorientierte Gesprchsfhrung im Pflegeprozess
$49.99
Blockchain for International Security
$139.99
Autonome Mobile Systeme 1995
$69.99
Practical Aspects of Declarative Languages
$39.99
Theory of Measurement
$54.99
Risiko Aufklrung
$59.99
Corporate Responsibility and Sustainability during the Coronavirus Crisis
$199.99
Populismus
$24.99
Cyber Security Cryptography and Machine Learning
$59.99
Modeling Risk Management for Resources and Environment in China
$169.99
Cellular Vehicle-to-Everything (C-V2X)
$149.00
The Development of Husserls Thought
$219.99
Book of the Dead (Hardcover)
$9.74
The First Decadal Review of the Edgeworth-Kuiper Belt
$219.99
Proletarians and Politics
$169.99
Protocols for Micropropagation of Woody Trees and Fruits
$379.99
Earlier and Recent Aspects of Superconductivity
$109.99
Global Riemannian Geometry: Curvature and Topology
$19.99
rztliche Gesprche, die wirken
$44.99
Dream Big
$5.21
Princess Truly: Princess Truly's Easter Egg Hunt
$4.49
Scholastic News Nonfiction Readers-Animals: Ants
$5.21
