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
The Demand for International Football Telecasts in the United States
$59.99
Aktuelle Therapie des Oesophaguskarzinoms
$44.99
Kunst im Kern von Schulkultur
$49.99
Diskrete Mathematik und Mathematische Fragen der Kybernetik
$44.99
Escape
$5.99
Click Triazoles
$219.99
The Palgrave Handbook of State-Sponsored History After 1945
$379.99
Critique of Pure Reason, Second Edition
$179.99
Marktorientiertes Zielkostenmanagement fr Rundfunkanstalten
$49.99
Mathematische Psychologie
$49.99
The Affects, Cognition, and Politics of Samuel Beckett's Postwar Drama and Fiction
$89.99
Understanding Error Control Coding
$129.00
Konzeption von Kommunikation
$79.99
Juri Lotman - Culture, Memory and History
$99.99
Biocolloids and their Interactions
$54.99
Fortschritte auf dem Gebiet der Biochemie des Bodens im Bezung zur pflanzlichen Produktion (bersich
$59.99
Stochastic Equations for Complex Systems
$54.99
Asteroseismology and Exoplanets: Listening to the Stars and Searching for New Worlds
$89.00
Gestaltung komplexer Austauschbeziehungen
$59.99
Der Neugeborenen-Thorax
$54.99
Enterprise Engineering and Integration: Building International Consensus
$109.99
Reprogen-Ethics and the Future of Gender
$129.00
Handbuch Logistik
$399.99
Die Auffhrung von Liedern zeitgenssischer Humoristen
$59.99
Roles and Ideologies in the Czech Foreign Policy: the Case of European Migration Crisis
$59.99
Rohrleitungen
$54.99
Pressevertrieb in Europa
$59.99
Chirurgische Onkologie
$109.00
Zahlentafeln fr den Baubetrieb
$54.99
RNA Nanostructures
$249.99
Vitamin C and Cancer
$54.99
Geschichte des Wissens
$44.99
Culture in Organizations
$159.99
The Dictionary of Economics and Commerce English/French/Arabic
$19.99
Eigentum und Eigentmer in Unserer Gesellschaftsordnung
$44.99
Repositioning Organization Theory
$109.99
Molecular Biology of the SARS-Coronavirus
$259.00
Biomedical Engineering Systems and Technologies
$54.99
The Biology of the Muscidae of the World
$379.99
Public Relations als Beruf
$59.99
