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
Computer-Aided Analysis of Gastrointestinal Videos
$169.99
MRT-Atlas
$54.99
Unlawful Orders: A Portrait of Dr. James B. Williams, Tuskegee Airman, Surgeon, and Activist (Hardcover)
$14.99
Der Pauli-Test
$69.99
5-HT2A Receptors in the Central Nervous System
$219.99
Vorrichtungsbau III
$69.99
VHDL92
$39.99
Emerging Trends in Mechanical Engineering
$169.99
Remarkable Me: Fuzzy and Bean Share New Tricks
$4.46
Power Generation from Solid Fuels
$219.99
Nutrition and Diet Therapy Reference Dictionary
$84.99
Betriebliches Gesundheitsmanagement. Gesundheitsfrderung in der Arbeitswelt - Mitarbeiter einbinden
$44.99
Probability Through Problems
$89.00
Ambient Intelligence Software and Applications ,10th International Symposium on Ambient Intellige
$84.99
Moral Collectives
$99.99
Residential Care Transformed
$39.99
Machine Learning Methods for Reverse Engineering of Defective Structured Surfaces
$69.99
Allergic
$9.74
Microscale Diagnostic Techniques
$169.99
Schriften zur juristischen Logik
$84.99
Komplexometrische und andere titrimetrische Methoden des klinischen Laboratoriums
$69.99
International Handbook of Traumatic Stress Syndromes
$259.00
Integrationstheorie und monopolistische Konkurrenz
$49.99
The New Atheist Denial of History
$19.99
Grne Stadt - Gesunder Mensch
$17.99
From Research Policy to Social Intelligence
$44.99
Julian of Norwich's Legacy
$84.99
Adaptive Optics for Industry and Medicine
$329.99
Atmosphrische Trbungs- und Wasserdampfbestimmungen nach Filtermessungen der Sonnenstrahlung
$54.99
Boo! Bluey's Halloween- A Magnet Book by Penguin Young Readers
$14.99
Deutschlands Platz an der Sonne
$54.99
Identity as Resilience in Minoritized Communities
$139.99
The Ribonucleic Acids
$39.99
Compilers and Operating Systems for Low Power
$109.99
The Behavioural Ecology of Ants
$39.99
Wind Climate in Cities
$549.99
Physical Metallurgy and Heat Treatment of Steel
$54.99
Teletraffic
$99.00
Pandemic Communication and Resilience
$139.99
Privatisation against the European Social Model
$109.99
