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
Damanhur
$159.99
Basiswissen Marketing
$14.99
High-Throughput Screening Assays in Toxicology
$89.00
Nitrate Contamination
$129.00
Die Umwandlung und Auflsung von Kapitalgesellschaften
$59.99
Theatre, Performance, and Memory Politics in Argentina
$54.99
Oil Spill Response: A Global Perspective
$219.99
Advances in Cross-Cultural Decision Making
$169.99
Wirbelschicht-Sprhgranulation
$59.99
Simulated Evolution and Learning
$39.99
Lehrbuch der Technischen Mechanik fr Ingenieure und Physiker
$44.99
Anforderungsmanagement in sieben Tagen
$29.99
The Complete Guide to the NEXTSTEP User Environment
$84.99
Ensembles of Type 2 Fuzzy Neural Models and Their Optimization with Bio-Inspired Algorithms for Time
$39.99
Grenzen des Sozialversicherungsstaates
$59.99
The Central and East European Population since 1850
$799.99
Convergence of Artificial Intelligence and the Internet of Things
$79.99
The Geometry of some special Arithmetic Quotients
$44.99
Rape in Stieg Larsson's Millennium Trilogy and Beyond
$54.99
Intelligent Data Communication Technologies and Internet of Things
$279.99
RF and Microwave Microelectronics Packaging II
$129.99
Europeanization, Care and Gender
$54.99
Crush Berrybrook Middle School Series 3 by Svetlana Chmakova
$13.00
Photopolymerisation and Photoimaging Science and Technology
$84.99
Five Nights at Freddy's - Tales From the Pizzaplex: Tiger Rock
$8.24
Muttersprache Identitt Nation
$64.99
Qeqchi Maya Reproductive Ethnomedicine
$54.99
Ranger in Time: Disaster on the Titanic
$5.24
Micha Kalecki: An Intellectual Biography
$139.99
Proceedings of the International Conference on Signal, Networks, Computing, and Systems
$219.99
Klner Papyri
$59.99
Die Ambivalenz der Gefhle
$64.99
Diagnostic Dysmorphology
$219.99
Directors Dealings am deutschen Aktienmarkt
$74.99
Die Rechtskunde des Ingenieurs und Kaufmanns
$44.99
Stochastic Monotonicity and Queueing Applications of Birth-Death Processes
$54.99
Knnen Staaten voneinander lernen?
$54.99
UML @ Classroom
$49.99
Modeling and Forecasting of Staffing in Civil Aviation
$159.99
Terrorism, Tourism and the End of Hospitality in the 'West'
$129.99
