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
Passive and Active Measurement
$99.00
Der Erfolg von Mergers & Acquisitions
$69.99
Intergenerational Consequences of Lifestyle Migration
$54.99
Filmgenres und Filmgattungen
$39.99
Philosophie
$69.99
Der Data-Warehouse-Rahmenplan
$79.99
Ethos, Bioethics, and Sexual Ethics in Work and Reception of the Anatomist Niels Stensen (1638-1686)
$54.99
Data Science and Applications
$249.99
Regulation and Economic Analysis
$109.99
Nanoformulations in Human Health
$169.99
Device-Independent Quantum Information Processing
$179.99
Anthropology and Aging
$84.99
Muslim Faith-Based Organizations and Social Welfare in Africa
$109.99
Culture and Government
$169.99
Patterns in Past Settlements: Geospatial Analysis of Imprints of Cultural Heritage on Landscapes
$149.00
Robot Play for All
$84.99
Investments in Pop-up Stores
$54.99
Flugzeugtriebwerke
$499.99
Oversampled Delta-Sigma Modulators
$109.00
System Theory of Continuous Time Finite Dimensional Dynamical Systems
$109.99
Corporate Nudging
$49.99
Frontiers of Fundamental Physics
$39.99
Lattice Functions and Equations
$109.99
Contemporary Ecology Research in China
$169.99
The Southern Boundary Region of the Winter Anomaly in Ionospheric Absorption in Winter 1971/72 Obser
$109.99
Migration und Differenzerfahrung
$59.99
The Romantic Idea of a University
$39.99
The EUs Crisis Decade
$99.99
Gesprchsfhrung
$59.99
An Introduction to the Theory of Functional Equations and Inequalities
$89.99
Die Einkaufsstttenwahl chinesischer Konsumenten
$69.99
Fuzzy Semigroups
$179.99
The Dangerous Lives of Public Performers
$119.99
Transnationale Serienkultur
$49.99
Heat Shock Proteins and Whole Body Physiology
$219.99
Black Men in the Academy
$54.99
Handbook of Psychiatric Diagnostic Procedures
$39.99
Energy Flow Theory of Nonlinear Dynamical Systems with Applications
$109.99
Arbeit, Arbeitsmarkt und Betriebe
$59.99
ECSCW 99
$169.00
