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
Analog Circuits and Systems Optimization based on Evolutionary Computation Techniques
$84.99
APC Proteins
$109.99
Die Parteien nach der Bundestagswahl 1998
$59.99
Cancer Grading Manual
$99.00
Natural Soda Ash
$599.99
Auf den Punkt: Prsentationen pyramidal strukturieren
$44.99
Neural Information Processing: Research and Development
$129.00
Management and Mitigation of Emerging Pollutants
$189.00
Hydrodynamic and Mass Transport at Freshwater Aquatic Interfaces
$109.99
Womb Politics: A Short History of the Future of Human Reproduction
$54.99
Wie Pippa wieder lachen lernte
$39.99
Umweltchemie
$59.99
Interventions for Persisting Ductus Arteriosus in the Preterm Infant
$34.99
Multiscale Signal Analysis and Modeling
$109.99
Die ffentliche Verwaltung in der Demokratie der Bundesrepublik Deutschland
$59.99
Arbeiten lernen
$39.99
Convex Functions and their Applications
$39.99
Gender, Media and Voice
$74.99
Renaissance Rhetoric
$34.99
Geschlechterunterschiede bei Depressionen im Alter
$49.99
Functional Illness of the Head and Neck
$129.99
Neutrinophysik
$34.99
Dissipative Phenomena in Condensed Matter
$169.99
Real Bios: Lionel Messi (Spanish)
$4.49
Information Technology in Biomedicine
$219.99
Trockner und Trocknungsverfahren
$54.99
Major Energy Companies of Europe 1994
$74.99
The Economic and Environmental Impacts of Agbiotech
$84.99
On Law and Reason
$219.99
Thermoelectric Refrigeration
$39.99
Los perfectos
$5.96
Computational Intelligence and Intelligent Systems
$109.99
Verhaltensbiologie
$44.99
Bildungsgangdidaktik
$64.99
An Introduction to the Uncertainty Principle
$109.99
Geometrical Foundations of Continuum Mechanics
$199.99
Proceedings of International Conference on Technology and Instrumentation in Particle Physics 2017
$109.99
The Game of Language
$169.99
Der chinesische Markt fr ostdeutsche KMU
$64.99
Active Fixed Income and Credit Management
$449.99
