Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Integrated Formal Methods

Integrated Formal Methods

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642386121
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

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