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
Cricket Performance Management
$54.99
Climate Change in Central Asia
$37.99
Taschen-Pharmakopoe
$44.99
Diagnosis of Human Viruses by Polymerase Chain Reaction Technology
$109.99
Der Zweckverband als Planungs- und Finanzierungsinstrument neuer ffentlicher Aufgaben
$59.99
Transactions on Intelligent Welding Manufacturing
$169.99
Homomorphic Encryption and Applications
$79.99
Integralrechnung fr Hhlenmenschen und andere Anfnger
$17.99
Die mediale Konstruktion der Wirklichkeit
$37.99
Redaktionsmanagement
$44.99
Genomevolution bei Pflanzen
$17.99
Towards Revealing the Origin of Life
$169.99
Handbuch Kulturpublikum
$139.99
Advances in Interdisciplinary Practice in Industrial Design
$169.99
Giving Space to African Voices
$49.99
Persistent Pollution Past, Present and Future
$129.00
Nachfragerbndelungen als Marketinginstrument
$69.99
Analog and Digital Signal Analysis
$109.99
Getting Rid of Cybersickness
$49.99
Medien und konomie
$59.99
Classical Pendulum Feels Quantum Back-Action
$109.99
Photo-switched Biodegradation of Bioplastics in Marine Environments
$129.00
Pedagogy at the End of the World
$159.99
Exploring Aging Masculinities
$27.99
Ultraschalldiagnostik in Geburtshilfe und Gynkologie
$199.00
Organ der Deutschen Gesellschaft fr Plastische und Wiederherstellungs-Chirurgie
$59.99
Houses
$3.71
Knstliche Radioaktive Isotope in Physiologie Diagnostik und Therapie/Radioactive Isotopes in Physio
$44.99
Therapiehandbuch Gynkologie und Geburtshilfe
$119.99
ANNA A Language for Annotating Ada Programs
$39.99
Advances in Knowledge Discovery and Management
$109.99
Antiphospholipid Syndrome Handbook
$59.99
Search Theory and Unemployment
$109.99
Jets from Young Stars
$54.99
The Future of Radioactive Waste Governance
$59.99
Solarchemische Technik Solarchemisches Kolloquium 12. und 13. Juni Kln-Porz Tagungsberichte
$69.99
Die Fabrikation der Kartoffelstrke
$84.99
Potassic Igneous Rocks and Associated Gold-Copper Mineralization
$74.99
Bourdieu, Habitus and Social Research
$19.99
Fest der weissen Schleier
$54.99
