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
Concurrent Learning and Information Processing
$84.99
Die Organe
$79.99
International Manual of Oncology Practice
$109.00
Pokmon Alola: Alola Region Handbook
$7.49
Protocols for Neural Cell Culture
$109.99
Bilingual Selection of Syntactic Knowledge
$109.99
Epilepsy
$109.99
Circulation of the Blood
$179.00
Hepatitis C Virus and Liver Transplantation
$109.99
Spatial Tensions in Urban Design
$99.00
Biochemisches Handlexikon
$59.99
Being Feared
$69.99
Textbook of Plastic and Reconstructive Surgery
$89.00
Employer Branding fr KMU
$59.99
Attractors, Bifurcations, and Chaos
$74.99
Islamic Finance in Europe
$119.00
Computational Advancement in Communication Circuits and Systems
$219.99
Crash-Kurs fr Verkaufsleiter
$69.99
The Geopolitics of the Global Energy Transition
$59.99
Flexible AC Transmission Systems: Modelling and Control
$149.00
Intersektionalitt in der Politischen Bildung: Entangled Citizens
$54.99
Supply Chain Structures
$169.99
Coding and Modulation for Digital Television
$84.99
Developing School Leaders in the Pacific
$59.99
Nahost Jahrbuch 1998
$69.99
Curiosity as an Epistemic Virtue
$54.99
Research and Advanced Technology for Digital Libraries
$39.99
Informatics in Control, Automation and Robotics II
$109.99
Polycrystalline Silicon for Integrated Circuit Applications
$169.99
New Findings on Aclarubicin in the Treatment of Acute Myeloid Leukemia
$109.99
Vertrauen im Electronic Commerce
$59.99
The RAND Corporation (1989-2009)
$54.99
Transactions of the International Astronomical Union, Volume XXIB
$54.99
Adaptive Filtering
$109.99
150 Jahre Gesetzgebung in Deutschland
$39.99
Auslandsbau
$29.95
Migration and Media in Finland
$99.99
Die Eisenkonstruktionen
$84.99
Protecting Human Security in a Post 9/11 World
$54.99
High Performance Networking VII
$169.99
