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
Integrated Formal Methods
Best Price (Coupon Required):
Buy Integrated 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 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.
Reviews
Questions & Answers
Design of Management Systems in U.S.S.R. Industry
$39.99
Von Lichtgestalten und Dunkelmnnern
$39.99
Internet Privacy
$44.99
Paroxetin in der Therapie von Depression, Angst- und Zwangsstrungen
$54.99
6. Deutsch-sterreichisch-Schweizerische Unfalltagung in Wien
$59.99
Weimar Culture Revisited
$39.99
Box Splines
$54.99
Active Price Management
$44.99
Das Kriegsgeschehen 2002
$59.99
Die Klimaschwankungen des Eiszeitalters
$59.99
Viruses in Human Gene Therapy
$129.00
Quantum Modeling of Complex Molecular Systems
$129.00
Vertrauen in die Wissenschaftskarriere
$54.99
The Reagan Presidency
$84.99
Advanced Inorganic Fibers
$169.99
Smart Communications, Intelligent Algorithms and Interactive Methods
$129.00
The Scourging of Iraq
$39.99
Fall: Let's Pick Apples!
$3.71
Hochschullehre im Spannungsfeld zwischen individueller und institutioneller Verantwortung
$84.99
Migration and Performance in Contemporary Ireland
$109.00
Britain and the Cinema in the Second World War
$109.99
Fetische des Konsums
$39.99
Conjugate Gradient Algorithms in Nonconvex Optimization
$169.99
Kommunikative Konstruktion von Moral
$44.99
First Little Comics Levels C & D (Single-Copy Set)
$17.99
Urban Overheating: Heat Mitigation and the Impact on Health
$129.00
The History of Visual Magic in Computers
$54.99
The Logic of Analogy
$54.99
Atlas of Human Anatomy
$16.64
Bildverarbeitung fr die Medizin 2016
$69.99
Real Alternatives, Leibnizs Metaphysics of Choice
$109.99
Vanadium-Based Nanomaterials for Electrochemical Energy Storage
$179.99
BANKMAGAZIN - Jahrgang 2011
$99.00
Smart Computing and Communication
$119.99
Ursachenforschung und Mglichkeiten zur Reduzierung des Grataufwurfs beim Laserabtragschneiden fr A
$59.99
Zinsnderungsrisiken im Commercial Banking
$59.99
The Problem of Practice Variation in Newborn Medicine
$99.00
Tuberkulose
$59.99
The political economy of the educational process
$169.99
Advances in Data Analysis
$169.99
