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
Programmierung von verteilten Systemen und Webanwendungen mit Java EE
$29.99
Clinical Cases in Psychiatry: Integrating Translational Neuroscience Approaches
$129.99
Dynamic Network Representation Based on Latent Factorization of Tensors
$39.99
Geometrically Constructed Markov Chain Monte Carlo Study of Quantum Spin-phonon Complex Systems
$39.99
Die Kulturkonzeption
$49.99
Religion bei Meinungsmachern
$59.99
Learning Progressions in Science
$49.99
Oral Submucous Fibrosis
$179.99
Grundriss der psychiatrischen Diagnostik nebst einem Anhang enthaltend die fr den Psychiater wichti
$59.99
The Construction of New Mathematical Knowledge in Classroom Interaction
$84.99
Francoise de Grafigny: "Lettres d'une Pruvienne"
$29.99
The Physics of Laser RadiationMatter Interaction
$69.99
Cognitive Reasoning for Compliant Robot Manipulation
$99.00
Chemisch-technische Untersuchungsmethoden der Gross-Industrie, der Versuchsstationen und Handelslabo
$59.99
Soziale Arbeit in der Transformation des Sozialen
$37.99
Deutsche Gegenreformation und deutsches Barock
$89.99
Right Hemisphere and Verbal Communication
$109.99
Untersuchung der Wirkungsgradverbesserung an Spaltdsensystemen durch optimale Gestaltung des Diffus
$59.99
Memory in the Ontopoiesis of Life
$84.99
Erneuerbare Energien und Wettbewerb in der Elektrizittswirtschaft
$109.00
The Gelfand Mathematical Seminars, 19931995
$109.99
Learning Bulma
$44.99
Geospatial Approaches to Energy Balance and Breast Cancer
$169.99
Mathematical Control Theory
$64.99
The General Economic Theory
$109.99
Grundstze ordnungsgemer kommunaler Rechnungslegung und ihre Auslegung im Hinblick auf die Bewertu
$79.99
The Transformation of Peace
$109.99
Computing and Combinatorics
$39.99
Gewerbliche Schutzrechte im Innovationsprozess
$59.99
Diseases of the Inner Ear
$119.00
Paragon
$39.99
Cleaner Combustion and Sustainable World
$349.00
Adjuvant Therapy of Primary Breast Cancer
$84.99
Reflections on the Triangular Relations of Beijing-Taipei-Washington Since 1995
$54.99
MAP Kinases in Plant Signal Transduction
$84.99
Aerospace Robotics III
$84.99
Rivers of Sunlight (Hardcover)
$14.99
Abrechnungstechnik in Bildern
$54.99
Language, Development Aid and Human Rights in Education
$39.99
Climate Change in North America
$109.99
