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
String-Rewriting Systems
$39.99
Hhere Mathematik
$44.99
How SAS Works
$54.99
Optik
$39.99
Percutaneous Vertebroplasty
$74.99
Market Dynamics and Productivity in Developing Countries
$109.99
Dragon Slayers' Academy: Countdown to the Year 1000
$4.46
Environmental Geochemistry of Potentially Toxic Metals
$54.99
Recent Trends in Algebraic Development Techniques
$54.99
Parallel Problem Solving from Nature PPSN XVI
$99.99
Politik und Regieren in Brandenburg
$44.99
Albert Schweitzers Legacy for Education
$54.99
Implementation Management
$39.99
Neuropilin
$129.00
Fhren mit Autoritt und Charisma
$49.99
Kopfspeicheldrsen. Bauchspeicheldrse. Gallenblase und Gallenwege
$59.99
Art History for Comics
$54.99
From Charity to Justice
$159.99
Handbook of Materials Science, Volume 1
$169.00
Yeast as a Tool in Cancer Research
$219.99
Archaeologies of Early Modern Spanish Colonialism
$159.99
Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace
$39.99
Handbook of Cystic Fibrosis
$54.99
Klinikmanual Kinder- und Jugendpsychiatrie und -psychotherapie
$74.99
Quasi- und nichtlineare Kirchhoff-Netzwerke
$24.99
ABB Der tanzende Riese
$59.99
Siebentes Kolloquium ber metallkundliche Analyse mit besonderer Bercksichtigung der Elektronenstra
$59.99
Die Absatzwegewahl des Herstellers
$44.99
Using Research Evidence in Education
$179.99
Die Massenmedien im Wahlkampf
$59.99
Stolpersteine
$64.99
EduTech: Computer-Aided Design Meets Computer-Aided Learning
$39.99
Die wissenschaftliche Forschung als internationale Aufgabe. Die Bedeutung der Plasma-Antriebe in der
$59.99
The Social Psychology of Intergroup and International Conflict Resolution
$84.99
Nanotechnology in Regenerative Medicine and Drug Delivery Therapy
$84.99
Food Sharing
$39.99
Struktur und Reaktivitt polarer Organometalle
$54.99
Bioremediation and Biotechnology, Vol 3
$129.00
Design of Shape Memory Alloy (SMA) Actuators
$54.99
Algorithmen kompakt und verstndlich
$34.99
