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 2011: Formal Methods
Best Price (Coupon Required):
Buy FM 2011: 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 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
Reviews
Questions & Answers
Educational Research in China
$109.99
Qualittssicherung
$64.99
Modern Physics and its Philosophy
$54.99
Hair Cell Regeneration, Repair, and Protection
$109.99
Lesser Flamingos
$54.99
Introduction to Diagnosis of Active Systems
$109.99
Wissenschaftliche Pharmazie in Rezeptur und Defektur
$44.99
I Hear a Pickle (and Smell, See, Touch, and Taste It, Too!)
$3.71
Situating Moral and Cultural Values in ELT Materials
$109.99
Postdigital Learning Spaces
$179.99
Thyroid Hormone Receptors
$84.99
Abelian Groups
$149.00
Adverse Effects of Herbal Drugs 2
$109.99
Gravity Inversion and Integration
$99.99
Wahrscheinlichkeit Mathematische Theorie und praktische Bedeutung
$17.99
Tropical Forest Census Plots
$169.99
Fundamentals of Cosmic Electrodynamics
$84.99
Diagnostic Neuroradiology
$169.99
Akteur Gehirn - oder das vermeintliche Ende des handelnden Subjekts
$59.99
Geostatistics Rio 2000
$169.99
Covariant Techniques in Quantum Field Theory
$54.99
Foundational Java
$49.99
Using Scribe Insight
$34.99
Grab and Go Pack Theme 1: Favorite Books Grade 6
$29.95
Effective Risk Communication
$169.99
Beitrag zum experimentellen Problem der Messung schneller Elektrodenvorgnge
$59.99
Scoring Performance Assessments Based on Judgements
$84.99
Allergy and Immunotoxicology in Occupational Health - The Next Step
$109.99
The Dilemma of Siting a High-Level Nuclear Waste Repository
$169.99
Fog and Dew Observations and Modeling
$54.99
Beneath the Bed and Other Scary Stories: An Acorn Book (Mister Shivers #1)
$4.49
Use of Market Data in the Recruitment of High Potentials
$54.99
Leadership mehr als Management
$69.99
Fachkommentar BM/E-GO
$59.99
Part 1 Schrdinger in Vienna and Zurich 18871925
$379.99
Behavioral Pharmacology of the Cholinergic System
$199.99
China and the Global Economy Since 1840
$109.99
Peppa Pig: A Magical Christmas (prev. Peppa's Magical Christmas)
$9.74
Residual Stress, Thermomechanics & Infrared Imaging, Hybrid Techniques and Inverse Problems, Volume
$219.99
Automobilelektronik
$29.99
