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 Merging of Disciplines: New Directions in Pure, Applied, and Computational Mathematics
$39.99
Life in Schools and Classrooms
$169.00
Citizenship, Work and Welfare
$109.99
The Insecure World of Henry Jamess Fiction
$54.99
Verkaufsschule und Verkaufslehrer
$59.99
Cash-Management internationaler Konzerne
$59.99
Digital Health
$84.99
Immunotherapeutic Prospects of Infectious Diseases
$84.99
Secure Networking - CQRE (Secure) '99
$39.99
Handbook of Genetics
$84.99
Instrumental Analysis of Pollutants
$74.99
Inedible Meat by-Products
$54.99
Studien zur Geschichte der Chemie Festgabe
$79.99
Microphysical Reality and Quantum Formalism
$329.99
Erwerbsttige Frauen in Frankreich und der Bundesrepublik Deutschland
$64.99
Nanomaterials for Innovative Energy Systems and Devices
$179.99
Die Sicherheit tragender Baukonstruktionen
$139.99
Zwischen Fremdfrsorge und Selbstfrsorge
$49.99
Die Funktionsdiagnostik der behinderten Nasenatmung
$79.99
Gastrointestinal Motility in Health and Disease
$129.00
Reviews in Fluorescence 2007
$129.00
Contributions by E.G.Ballard; R.L.Barber; J.K.Feibleman; C.H.Hamburg; H.N.Lee; P.G.Morrison; L.N.Rob
$109.99
Suizid und Sterblichkeit neuropsychiatrischer Patienten
$44.99
Interworking of Wireless LANs and Cellular Networks
$39.99
Advanced Hybrid Information Processing
$59.99
Homologous Recombination and Gene Silencing in Plants
$169.00
Cybersecurity, Privacy and Freedom Protection in the Connected World
$54.99
Stdtischer Raum und Verhalten
$59.99
Trends and Prospects in Motivation Research
$129.00
Analysis of Rubber and Rubber-like Polymers
$169.99
Arabian Plate and Surroundings: Geology, Sedimentary Basins and Georesources
$159.99
Women and Scientific Employment
$54.99
Ivory and the Aesthetics of Modernity in Meiji Japan
$54.99
Pro Functional PHP Programming
$44.99
Insect Decline and Conservation in the Neotropics
$199.99
Heine und die Folgen
$17.99
The Documentary
$54.99
Unerwartete Perspektiven der Schulpsychologie
$29.99
Programming for Peace
$169.00
Atlas of Practical Cardiac Applications of MRI
$39.99
