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
Nanotribology
$169.99
Ermittlung der Sprengzhigkeit von Gesteinen
$59.99
Transversal Subjects
$54.99
Modern Neurosurgery 1
$54.99
Methodische Werkstoff- und Prozessentwicklung fr die additive Serienproduktion von automobilen Stru
$89.99
Philosophical Logic in Poland
$219.99
Colloid Chemistry II
$169.00
Frontiers of Combining Systems
$69.99
Postural Tachycardia Syndrome
$89.00
Der Einfluss des Personalmanagements auf den Unternehmenserfolg
$79.99
Histories of Computing in Eastern Europe
$54.99
Non-Monotonic Reasoning
$39.99
Economics of Information Security
$129.00
Psychopathologie
$24.99
Operator Algebras, Operator Theory and Applications
$169.99
Female Genital Mutilation/Cutting in Children and Adolescents
$49.99
Die Praxis der Social-Media-Analyse
$49.99
The Rescue of Belsens Diamond Children
$139.99
Human Choice and Computers
$89.99
Elemente der Geometrie
$39.99
Religion und Demokratie in der Schule
$39.99
Xylem Structure and the Ascent of Sap
$279.99
An Investors Perspective on Marketing Excellence
$54.99
Valve Selection and Specification Guide
$109.99
Interessengeleitete Unternehmensbewertung
$59.99
Participation and the Quality of Environmental Decision Making
$169.99
Proceedings of Fourth Doctoral Symposium on Computational Intelligence
$189.00
Nanotechnology, Lessons from Nature
$59.99
Gendered Citizenship and the Politics of Representation
$19.99
Mesoscale Analysis of Hydraulics
$59.99
Chinas Trade and Investment in Africa
$109.99
Aggression
$24.99
Oceanic Hotspots
$169.99
Die Funktionsprfung des Auges unter besonderer Bercksichtigung der Strungen des Farbensinnes
$59.99
Die Epidemische Encephalitis
$44.99
History as a Social Science
$54.99
Numerical Methods
$34.99
On Shear Behavior of Structural Elements Made of Steel Fiber Reinforced Concrete
$84.99
Beg to Differ
$19.99
A Road Map to the Development of European SME Networks
$109.99
