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
Mathematical Modeling for Flow and Transport Through Porous Media
$169.99
Subsidy Regulation and State Transformation in North America, the GATT and the EU
$39.99
Venenerkrankungen
$39.99
Igap (Black-water flooded forests) of the Amazon Basin
$84.99
Die Kindliche Sexualitt und Ihre Bedeutung Fr Erziehung und Arztliche Praxis
$59.99
Malting and Brewing Science: Hopped Wort and Beer, Volume 2
$299.99
Numerical Software with Result Verification
$54.99
Faith, Fallibility, and the Virtue of Anxiety
$54.99
A Toon Book: 3x4
$5.21
Kulturschock
$49.99
Advances in National Brand and Private Label Marketing
$159.99
Medaka
$219.99
Numerical Solution of Nonlinear Equations
$44.99
Organisation und Beratung
$39.99
Die Textilkonjunktur im Rahmen des allgemeinen Wirtschaftsablaufs
$59.99
Handbuch Literatur und Philosophie
$44.99
Nuclear Structure of the Zirconium Region
$109.99
Reflexivity and Criminal Justice
$129.99
Critical Pedagogy and the Everyday Classroom
$109.99
Arsenic & Rice
$129.00
Heidelberger Gelehrtenlexikon 18031932
$59.99
Categories
$39.99
The Magic of Minerals
$54.99
Animal Lectins: Form, Function and Clinical Applications
$329.99
The Developmental Neurotoxicity of Lead
$39.99
Religion ohne Institution?
$59.99
Introduction to Stochastic Integration
$64.99
Energy and Agriculture
$84.99
Einfhrung in die Festigkeitslehre
$44.99
Pacific Salmon & their Ecosystems
$169.00
Exploring Meso-Level Dynamic Capabilities to Address the Capability Rigidity Paradox
$54.99
Life Cycle Design
$109.99
Microbial Survival in the Environment
$84.99
Biocommunication of Phages
$149.00
Giggle Giggle Quack
$5.96
Fallbeispiele Notfallmedizin
$19.99
Die Grundbuchsachen in der gerichtlichen Praxis
$59.99
APOS Theory
$109.99
Proceedings of International Conference on Advances in Computer Engineering and Communication System
$219.99
Computer Vision, Imaging and Computer Graphics: Theory and Applications
$54.99
