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 Sun Today
$12.99
From Dust to Terrestrial Planets
$169.00
Phytochemicals, Plant Growth, and the Environment
$129.00
British Humanitarian Activity in Russia, 1890-1923
$89.99
CABology: Value of Cloud, Analytics and Big Data Trio Wave
$54.99
Exploring C++
$49.99
Computing and Combinatorics
$54.99
Physical Approaches to Biological Evolution
$54.99
Talent Development in European Higher Education
$59.99
Performance Evaluation: Metrics, Models and Benchmarks
$74.99
New Trends in Computational Vision and Bio-inspired Computing
$169.00
Technetium-99m Pharmaceuticals
$199.99
Code-Based Cryptography
$54.99
Cellular Learning Automata: Theory and Applications
$129.00
Antarctica as Cultural Critique
$54.99
Oaks Physiological Ecology. Exploring the Functional Diversity of Genus Quercus L
$329.99
Cyclic Compounds
$39.99
General Systems Theory
$129.00
Vorlesungen ber Wahrscheinlichkeitstheorie
$49.99
Acoustic Guitar Design
$49.99
Taleworlds and Storyrealms
$169.99
Marketing Aspects of International Business
$84.99
The Criminal Cases Review Commission
$39.99
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics
$84.99
National Security under the Obama Administration
$39.99
Deutschland Polen Tschechien auf dem Weg zur guten Nachbarschaft
$69.99
Fluctuation Phenomena in High Temperature Superconductors
$39.99
Transatlantic Diplomacy and the Use of Military Force in the Post-Cold War Era
$54.99
Thermoplastic Processing of Structural Metallic Materials
$44.99
Die Chirurgische Klinik in Gttingen
$54.99
Life Energies, Forces and the Shaping of Life: Vital, Existential
$169.00
Die Kessel- und Maschinenbaumaterialien nach Erfahrungen aus der Abnahmepraxis kurz dargestellt fr
$84.99
Urban Transportation Planning in the United States
$129.99
The Japanese Ground Self-Defense Force
$99.99
Financial Markets (Dis)Integration in a Post-Brexit EU
$99.99
Beginning Java EE 7
$59.99
Treating Vulnerable Populations of Cancer Survivors: A Biopsychosocial Approach
$54.99
Drinfeld Moduli Schemes and Automorphic Forms
$54.99
Conformational Motion and Disorder in Low and High Molecular Mass Crystals
$84.99
Science, Technology and Modernity
$89.00
