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
9783319989372
Condition
New
Product Description

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Projektmanagement im Hochbau

Projektmanagement im Hochbau

$99.99
Trade Secrets Legal Protection

Trade Secrets Legal Protection

$179.99
Consolidated Ada Reference Manual

Consolidated Ada Reference Manual

$39.99
Metric Spaces

Metric Spaces

$44.99
Externally Heated Valve Engine

Externally Heated Valve Engine

$109.99
Intelligent Systems in Computing and Communication

Intelligent Systems in Computing and Communication

$139.99
Auditory and Vestibular Research

Auditory and Vestibular Research

$109.99
Wirtschaftsprivatrecht

Wirtschaftsprivatrecht

$29.99
Transactions on Large-Scale Data- and Knowledge-Centered Systems LI

Transactions on Large-Scale Data- and Knowledge-Centered Systems LI

$39.99
The Twilight Zone - Graphic: The Monsters are Due on Maple Street

The Twilight Zone - Graphic: The Monsters are Due on Maple Street

$8.21
European Research on Sustainable Development

European Research on Sustainable Development

$84.99
Instrumental Traditions and Theories of Light

Instrumental Traditions and Theories of Light

$84.99
Digitalisierung in der Aus- und Weiterbildung

Digitalisierung in der Aus- und Weiterbildung

$59.99
First Little Readers: Guided Reading Level B (Single-Copy Set)

First Little Readers: Guided Reading Level B (Single-Copy Set)

$17.99
Food Process Monitoring Systems

Food Process Monitoring Systems

$39.99
Design, User Experience, and Usability:  Design for Diversity, Well-being, and Social Development

Design, User Experience, and Usability: Design for Diversity, Well-being, and Social Development

$84.99
Basic Electronics Engineering

Basic Electronics Engineering

$54.99
The Multinational Enterprise and the Globalization of Knowledge

The Multinational Enterprise and the Globalization of Knowledge

$109.99
The Control of Tumour Growth and Its Biological Bases

The Control of Tumour Growth and Its Biological Bases

$499.00
Baila con Quique

Baila con Quique

$5.96
The Physics of Superconductors

The Physics of Superconductors

$169.00
Strategies and Applications in Quantum Chemistry

Strategies and Applications in Quantum Chemistry

$39.99
Discrete Distributions in Engineering and the Applied Sciences

Discrete Distributions in Engineering and the Applied Sciences

$64.99
From Life to Architecture, to Life

From Life to Architecture, to Life

$109.00
Demokratietheorie und Demokratieentwicklung

Demokratietheorie und Demokratieentwicklung

$74.99
Britain and the Holocaust

Britain and the Holocaust

$54.99
Ruthenate and Rutheno-Cuprate Materials

Ruthenate and Rutheno-Cuprate Materials

$84.99
Corporate Think Tanks

Corporate Think Tanks

$39.99
Advances in Rehabilitation Robotics

Advances in Rehabilitation Robotics

$229.00
(Re)Discovering Proximity

(Re)Discovering Proximity

$54.99
The New Anti-Kant

The New Anti-Kant

$39.99
Das Mittelalterliche Riga

Das Mittelalterliche Riga

$54.99
The Epistemology of Violence

The Epistemology of Violence

$89.99
Somatoform Disorders

Somatoform Disorders

$54.99
Adversative and Concessive Conjunctions in EFL Writing

Adversative and Concessive Conjunctions in EFL Writing

$84.99
Partial Differential Equations IX

Partial Differential Equations IX

$109.99
Microeconomics, Macroeconomics and Economic Policy

Microeconomics, Macroeconomics and Economic Policy

$54.99
Barack Obama (new edition)

Barack Obama (new edition)

$4.46
Hydrological, Socioeconomic and Ecological Impacts of the North Atlantic Oscillation in the Mediterr

Hydrological, Socioeconomic and Ecological Impacts of the North Atlantic Oscillation in the Mediterr

$84.99
previous
next