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
Theory of Metal Forming Plasticity
$169.99
Pro Project Management with SharePoint 2010
$39.99
Emerging Technologies for Information Systems, Computing, and Management
$259.00
Elementary Stability and Bifurcation Theory
$99.99
The Analysis of Variance
$99.00
Beginning J2ME
$44.99
Embedded Firmware Solutions
$39.99
Seismic Modelling and Pattern Recognition in Oil Exploration
$84.99
Wissensorientiertes Performance Measurement
$74.99
The Ocean Basins and Margins
$84.99
Most Influential Scholars in Criminology and Criminal Justice, 1986-2020
$54.99
Supervenience and Normativity
$139.99
Presenting Your Case
$84.99
Human-Computer Interaction -- INTERACT 2013
$109.99
Media Economics in Austria
$64.99
The Theory of Wages
$74.99
CP Violation in Particle, Nuclear, and Astrophysics
$109.99
Workflow Management
$49.99
Land-Use and Land-Cover Changes
$109.99
The Brain-Dead Organ Donor
$219.99
The Nigerian Healthcare System
$109.99
Reasoning Web
$39.99
Harmonization of Seismic Hazard in Vrancea Zone
$84.99
Visual Pattern Discovery and Recognition
$54.99
Danish Television Drama
$109.99
Advances in Italian Mechanism Science
$379.99
The Political Economy of Emerging Markets
$54.99
Blind Estimation Using Higher-Order Statistics
$109.99
Innovationsmanagement in deregulierten Netzindustrien
$59.99
Animal Models of Neurotrauma
$129.00
Trinucleotide Repeats
$169.99
Technologie-Roadmapping
$149.00
New Directions in the Philosophy of Science
$279.99
Orthogonal Transforms for Digital Signal Processing
$39.99
The Lean Healthcare Handbook
$99.99
The Practical Intellect
$54.99
Die Bankbilanz
$59.99
Environment and Behavior
$39.99
List of Substances of the Competent Federal Government and Federal State Authorities
$39.99
The Machiavellian Legacy
$109.99
