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
Migration and Worker Fatalities Abroad
$54.99
Energy Function Analysis for Power System Stability
$229.00
Alma del Mar
$5.96
Methode der finiten Elemente fr Ingenieure
$59.99
South Asian Migration in the Gulf
$169.99
Climate Change Impact on Environmental Variability in the Forest
$39.99
Decision Making Under Uncertainty and Reinforcement Learning
$129.00
Cryptosporidium as a Foodborne Pathogen
$54.99
Coding, Cryptography and Combinatorics
$109.99
Kapitalmarktorientierte Unternehmensbewertung
$69.99
Advisory Boards in Startups
$89.99
Nanomaterials and Nanocomposites, Nanostructure Surfaces, and Their Applications
$169.00
Lymphocytes, Macrophages, and Cancer
$84.99
Logic-Based Artificial Intelligence
$249.99
Wachstum von Familienunternehmen
$59.99
If You Find This
$6.71
Regulierung bei asymmetrischer Informationsverteilung
$49.99
Proceedings of XXIV AIMETA Conference 2019
$329.99
International Mediation Interaction
$54.99
Respiratoren in der klinischen Praxis
$69.99
Philosophinnen der griechischen Antike
$54.99
The Classical Foundations of Population Thought
$84.99
Laser in Forschung und Technik / Laser in Research and Engineering
$69.99
Der Verkauf notleidender Kredite
$59.99
Designs for Clinical Trials
$169.99
Analytic Capacity, the Cauchy Transform, and Non-homogeneous CaldernZygmund Theory
$109.99
I Am a Big Sister/Soy una hermana mayor! (Hardcover)
$5.24
Inflammation
$84.99
Robotics in General Surgery
$169.99
Scorecardbasiertes Cockpit Controlling
$59.99
The Palgrave Macmillan Dictionary of Political Thought
$54.99
Sleep Disorders Medicine
$379.99
Transplantation
$39.99
Sustainable Retail Development
$129.00
Mathematics Matters in Education
$84.99
Chinas Criminal Legislation on Embezzlement and Bribery
$84.99
Chinas New Foreign Policy
$69.99
Aging and Biological Rhythms
$39.99
Drugs for the Treatment of Parkinsons Disease
$84.99
Die langfristige produktionstechnische Vorausplanung als Rationalisierungsmethode fr die Massenfert
$59.99
