Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
$39.99 $39.99

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

Product Details

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

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Scholars and Poets Talk About Queens

Scholars and Poets Talk About Queens

$99.99
Addicted To You by Krista Ritchie

Addicted To You by Krista Ritchie

$17.00
Maritime Security Challenges in the South Atlantic

Maritime Security Challenges in the South Atlantic

$79.99
Handbook of X-ray and Gamma-ray Astrophysics

Handbook of X-ray and Gamma-ray Astrophysics

$4,499.99
The Elements of Big Data Value

The Elements of Big Data Value

$59.99
Die Grundlegung der Analysis durch Karl Weierstra

Die Grundlegung der Analysis durch Karl Weierstra

$89.00
Selbstreguliertes Lernen im Mathematikstudium

Selbstreguliertes Lernen im Mathematikstudium

$69.99
Agent-based Modeling and Simulation in Archaeology

Agent-based Modeling and Simulation in Archaeology

$84.99
Britain and Nuclear Weapons

Britain and Nuclear Weapons

$109.99
Treatise on Heavy-Ion Science

Treatise on Heavy-Ion Science

$39.99
IUTAM Symposium on Recent Advances in Moving Boundary Problems in Mechanics

IUTAM Symposium on Recent Advances in Moving Boundary Problems in Mechanics

$129.00
Proceedings of the ICAME '97 Conference: In Memoriam of Professor Jacques Danon

Proceedings of the ICAME '97 Conference: In Memoriam of Professor Jacques Danon

$169.99
Women Judges in Contemporary China

Women Judges in Contemporary China

$119.99
Sparse Representation, Modeling and Learning in Visual Recognition

Sparse Representation, Modeling and Learning in Visual Recognition

$109.99
Nonfiction Phonics Readers SET 2 (Multi-Copy Set): Vowels, Digraphs & More

Nonfiction Phonics Readers SET 2 (Multi-Copy Set): Vowels, Digraphs & More

$76.49
A Tax Guide to Pay and Perks

A Tax Guide to Pay and Perks

$54.99
Paradigm Shift in Urban Mobility

Paradigm Shift in Urban Mobility

$99.99
Proceedings of Fourth International Conference on Soft Computing for Problem Solving

Proceedings of Fourth International Conference on Soft Computing for Problem Solving

$219.99
Adaptive Mechanics

Adaptive Mechanics

$84.99
Spin trapping by nitrosoalkanes

Spin trapping by nitrosoalkanes

$54.99
Was uns nicht umbringt

Was uns nicht umbringt

$29.99
Association Mapping in Plants

Association Mapping in Plants

$169.99
Hydrogen Assisted Direct Reduction of Iron Oxides

Hydrogen Assisted Direct Reduction of Iron Oxides

$219.99
Public Systems Modeling

Public Systems Modeling

$49.99
Geothermal Reservoir Engineering

Geothermal Reservoir Engineering

$169.00
Immunotherapy of Cancer

Immunotherapy of Cancer

$129.00
Wirtschaft am Rohstofftropf

Wirtschaft am Rohstofftropf

$29.99
Pfade und Berge

Pfade und Berge

$54.99
Die Alten und das Netz

Die Alten und das Netz

$59.99
Cyber Racism and Community Resilience

Cyber Racism and Community Resilience

$19.99
Scale Insects of Central Europe

Scale Insects of Central Europe

$219.99
Komplizierte Trauer

Komplizierte Trauer

$64.99
Managing Joint Innovation

Managing Joint Innovation

$54.99
Design of Reinforced Concrete Sections Under Bending and Axial Forces

Design of Reinforced Concrete Sections Under Bending and Axial Forces

$84.99
PSSC Physik

PSSC Physik

$54.99
Steuercontrolling und Reporting

Steuercontrolling und Reporting

$54.99
Distributed Computing and Internet Technology

Distributed Computing and Internet Technology

$54.99
Limits and Opportunities of a Matrix Organization

Limits and Opportunities of a Matrix Organization

$44.99
Common Corporate Tax Base (CC(C)TB) and Determination of Taxable Income

Common Corporate Tax Base (CC(C)TB) and Determination of Taxable Income

$84.99
Differential- und Integralrechnung fr Funktionen mit einer Variablen

Differential- und Integralrechnung fr Funktionen mit einer Variablen

$24.99
previous
next