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 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.
Reviews
Questions & Answers
The Female Figure in Contemporary Historical Fiction
$39.99
Advances in Networked-based Information Systems
$279.99
Theorie der Heilufttrockner
$59.99
Molding of Thermosetting Plastics
$54.99
Qualittskontrolle von Impfstoffen
$17.99
Proceedings of the 12th International Scientific Conference on Mobility and Transport
$189.00
The Middle Ear
$54.99
Language and Translation in International Commercial Arbitration
$54.99
Farida Benlyazid and Moroccan Cinema
$44.99
Fortschritte der Chemie Organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ
$219.99
Markensterben
$39.99
Schizophrenia
$39.99
Vertriebscoaching
$39.99
Die elektronenmikroskopische Darstellung der Feinstruktur des Protoplasmas
$59.99
Wall Streets Assault on Democracy
$29.99
Numerik gewhnlicher Differentialgleichungen
$69.95
Baustelle Gegenwartsliteratur
$39.99
Cooperative Computer-Aided Authoring and Learning
$169.00
Systems Thinking Approach for Social Problems
$219.99
Microbial BioEnergy: Hydrogen Production
$219.99
Transactions on Computational Collective Intelligence XXVIII
$54.99
Out of the spiral of conflict
$19.99
Bad Mexicans- Race, Empire, and Revolution in the Borderlands by Kelly Lytle Hernandez
$19.95
Proceedings of the International Field Exploration and Development Conference 2021
$259.00
Bodies, Ontology, and Bioarchaeology
$109.00
Gabler Kompakt-Lexikon Bank und Brse
$39.99
Business Knowledge Management
$39.99
Yeats's Poetry in the Making
$54.99
Phonics Chapter Book - Level 1: Fun with Zip and Zap
$6.74
Continuum Mechanics with Eulerian Formulations of Constitutive Equations
$199.99
Farben
$29.99
Interpreting Primo Levi
$54.99
Sensor-Actuator Supported Implicit Interaction in Driver Assistance Systems
$109.99
Successful Aging
$109.99
Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
$119.00
The Cognitive Impact of Television News
$39.99
Brandschutz in Kirchen und Klstern
$129.99
Konstruktion fr die Additive Fertigung 2020
$159.99
Vaccine Intervention Against Virus-induced Tumour
$59.99
People Management in Turbulent Times
$54.99
