Copied Integrated Formal Methods
Integrated Formal Methods
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Materials Research and Applications
$119.00
MACPainP Multiaxial Classification of Pain Psychosocial Dimension
$109.99
Pro C# 10 with .NET 6
$59.99
Membrane Computing
$54.99
Ambartsumians Legacy and Active Universe
$109.99
Software Development Tools
$54.99
Topics in Colorectal Disease
$109.99
Elektronische Zahlungssysteme
$59.99
Computer and Information Sciences - ISCIS 2004
$169.99
Chronic Illness Care
$249.99
Pseudocompact Topological Spaces
$129.99
Mit Branding an die Spitze!
$39.99
The Island by Natasha Preston
$12.99
Concepts in Viral Pathogenesis II
$39.99
Human Interface and the Management of Information: Information, Design and Interaction
$54.99
Groupware: Design, Implementation, and Use
$39.99
Envisioning TESOL through a Translanguaging Lens
$199.99
Soziologie im Nationalsozialismus zwischen Wissenschaft und Politik
$64.99
Rehabilitation in Kardiologie und Angiologie
$59.99
Microbial Technologies in Advanced Biofuels Production
$169.99
Sensibility and Economics in the Novel
$109.99
The Politics of Economic Reform in Zimbabwe
$39.99
Ablaufplanung mit Petrinetzen
$59.99
Politics and Ethnicity
$109.99
Versicherungsmagazin - Jahrgang 2019
$84.99
Leadership mehr als Management
$44.99
Numerical Methods for Elliptic and Parabolic Partial Differential Equations
$99.99
Ruin Road
$9.74
Knowledge in Formation
$84.99
Globalization and the Margins
$109.99
Das Kieselsuregel und die Bleicherden
$59.99
Chato And The Party Animals
$6.50
Wide Area 2D/3D Imaging
$54.99
Faserverbundbauweisen
$139.99
Irrepressible Truth
$139.99
Frontiers in Biomedical Engineering
$169.00
Landslides and Their Stabilization
$39.99
Betrachtungen Ueber Abfluss, Stau und Walzenbildung bei Fliessenden Gewaessern und ihre Verwertung f
$49.99
Kinetics of Enzyme-Modifier Interactions
$199.99
Generalized Linear Mixed Models with Applications in Agriculture and Biology
$59.99
