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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Vom passiven zum aktiven Sozialplan
$27.99
The 19th International Conference on Industrial Engineering and Engineering Management
$219.99
Werde ein Mann
$59.99
Diophantine m-tuples and Elliptic Curves
$139.99
Emerging Technologies for Battling Covid-19
$199.99
Gebrochene Identitten
$59.99
Network-Centric Collaboration and Supporting Frameworks
$169.99
Monetary Integration in Europe
$129.99
Family Politics in Early Modern Literature
$84.99
The Social Life of Avatars
$109.99
3D Printing
$39.99
Chaucer's Feminine Subjects
$39.99
Friedrich List im Zeitalter der Globalisierung
$39.99
Peppa Pig: My Mommy
$5.99
Functional and Logic Programming
$54.99
Residue Reviews / Rckstands-Berichte
$39.99
Dynamical Systems, Wave-Based Computation and Neuro-Inspired Robots
$84.99
Quantum Interaction
$54.99
Theory and Management of Collective Strategies in International Business
$109.99
The Male Role in Pregnancy Loss and Embryo Implantation Failure
$109.99
International Conference on Advancements of Medicine and Health Care through Technology; 29th August
$169.00
Idee und Wirklichkeit
$54.99
Intelligence and Security Informatics
$54.99
Schwingungslehre
$84.99
Food Security Governance in the Arctic-Barents Region
$54.99
Modeling of Photovoltaic Systems and Real-Time Implementation
$39.99
Media Representations of Macaus Gaming Industry in Greater China
$119.99
Standing up to Climate Change
$84.99
Preispolitik fr Leistungsverbunde im Business-to-Business-Marketing
$44.99
Vascular Malformations
$84.99
Current Topics
$39.99
Elektrotechnik
$69.99
Crisis Management in Chinese Organizations
$39.99
Noise-Induced Phenomena in Slow-Fast Dynamical Systems
$119.99
27th International Meshing Roundtable
$109.99
A Brief on Tensor Analysis
$54.95
Europeanization, European Integration and Financial Services
$109.99
Applications of Sliding Mode Control
$169.99
Soft Condensed Matter: Configurations, Dynamics and Functionality
$169.99
Business Challenges in the Changing Economic Landscape - Vol. 2
$169.99
