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:
Buy Integrated Formal Methods for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Moralische Belastung von Pflegefachpersonen
$39.99
Independent Television in Britain
$169.99
Socioeconomic Protests in MENA and Latin America
$79.99
Patellofemoral Pain and Instability
$139.99
Morphogenesis of Thyroid Follicles in Vitro
$54.99
A New Hypothesis on the Anisotropic Reynolds Stress Tensor for Turbulent Flows
$109.00
Interculturalism: The New Era of Cohesion and Diversity
$39.99
Improving Schools
$54.99
Max's Words (Hardcover)
$17.99
Humanistic Governance in Democratic Organizations
$49.99
Advancing Social Simulation: The First World Congress
$169.99
Microsoft Excel
$59.99
Evolution and Control in Biological Systems
$109.99
Bilevel Optimization
$169.99
Blutdruck unter krperlicher Belastung
$54.99
Maritime Women: Global Leadership
$169.99
Neue Entwicklungen in der Additiven Fertigung
$139.99
Stem Cells and Cancer Stem Cells, Volume 11
$129.00
Fahrwerk
$99.00
Schubstangen und Kreuzkpfe
$59.99
An Econometric Model of the US Economy
$139.99
Cryptography and Cryptanalysis in Java
$34.99
Ending Medicines Chronic Dysfunction
$59.99
Soft Computing in Machine Learning
$169.99
Hhere Mathematik fr Ingenieure
$69.99
Neurotraumatologie
$84.99
Transactions on Computational Science XXXIX
$69.99
Efficient Algorithms
$39.99
Basic Coastal Engineering
$84.99
Savegame
$49.99
Postpartum-Psychosen
$64.99
High-Frequency Circuit Design and Measurements
$54.99
The Trials of Apollo: The Dark Prophecy
$6.71
Studies of Proton Driven Plasma Wakeeld Acceleration
$84.99
Methodische Probleme von Mixed-Mode-Anstzen in der Umfrageforschung
$39.99
Die vorrmischen Sprachen der iberischen Halbinsel Wege und Aporien bei ihrer Entzifferung
$49.99
Technical Drawing for Product Design
$109.99
Der Fhrer in die Mooskunde
$59.99
Globalization, Philanthropy, and Civil Society
$109.99
Landscapes and Landforms of Egypt
$199.99
