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 7th International Conference on Integrated Formal Methods, IFM 2009, held in Dsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.
Reviews
Questions & Answers
Fortschritte in der Kardiologie
$59.99
Festigkeitsberechnung rotierender Scheiben
$59.99
Ethical Encounter
$84.99
Accounting and Regulation
$109.99
The Middle Paran River
$169.99
Derrida on the Threshold of Sense
$169.99
Wine Safety, Consumer Preference, and Human Health
$84.99
Planning and Reporting in BI-supported Controlling
$59.99
Recent Sedimentary Carbonates
$109.99
Stable Mutations for Evolutionary Algorithms
$109.99
Algebra II
$39.99
Germany, Civilian Power and the New Europe
$169.99
Die Anorexia nervosa
$54.99
Atlas of Pediatric and Youth ECG
$129.99
Handbuch der Feuerungstechnik und des Dampfkesselbetriebes
$59.99
Software Engineering and Knowledge Engineering: Theory and Practice
$259.00
Women and the World of Work
$39.99
Faszination Amazonas
$24.99
Georg Simmel und Max Weber
$74.99
Telemedicine for Children's Health
$54.99
Strategic Facilitation of Complex Decision-Making
$84.99
Human-Automation Interaction
$129.00
Time-dependent and Vibration Problems
$84.99
Revision Surgery of the Foot and Ankle
$89.00
Zygmunt Bauman: Soziologie zwischen Moderne und Flchtiger Moderne
$39.99
The TNF Superfamily
$109.99
Biobanks and Tissue Research
$109.99
Integrative Approach to Comprehensive Building Renovations
$109.99
Geschichte der Technik
$54.99
Nuestra Amrica
$7.49
Fluglehre
$54.99
Linear and Nonlinear Optical Responses of Chiral Multifold Semimetals
$179.99
Flchtlingsrecht
$29.99
Entropie und Pathogenese
$54.99
Model Calibration and Parameter Estimation
$169.99
Quiero ser famosa
$3.74
Praktischer Leitfaden der Parasitologie des Menschen
$39.99
Das Kaukasusprojekt der Alliierten vom Jahre 1940
$84.99
Elementare Einfhrung in die angewandte Statistik
$44.99
Business Process Management Workshops
$54.99
