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

The Fintech Disruption

The Fintech Disruption

$199.99
The Development of Attachment and Affiliative Systems

The Development of Attachment and Affiliative Systems

$54.99
Farming on the Fringe

Farming on the Fringe

$109.99
Sustainable Water Management in Urban Environments

Sustainable Water Management in Urban Environments

$219.99
Technisch-naturwissenschaftlicher Pascal-Trainer

Technisch-naturwissenschaftlicher Pascal-Trainer

$59.99
Organismus als Zellenstaat

Organismus als Zellenstaat

$49.99
Architekten- und Ingenieurrecht nach Ansprchen

Architekten- und Ingenieurrecht nach Ansprchen

$39.99
Die politischen Systeme Lateinamerikas

Die politischen Systeme Lateinamerikas

$59.99
Existential Inertia and Classical Theistic Proofs

Existential Inertia and Classical Theistic Proofs

$139.99
A History of Confinement in Palestine: The Prison Web

A History of Confinement in Palestine: The Prison Web

$109.99
Sensors and Microsystems

Sensors and Microsystems

$199.99
Immobilien-Time-Sharing und Verbraucherschutz

Immobilien-Time-Sharing und Verbraucherschutz

$59.99
Digital Detox im Arbeitsleben

Digital Detox im Arbeitsleben

$17.99
Web Service Patterns

Web Service Patterns

$44.99
Handbook of Entrepreneurship Research

Handbook of Entrepreneurship Research

$99.00
Corporate Governance, Sustainability, and Information Systems in the Aviation Sector, Volume I

Corporate Governance, Sustainability, and Information Systems in the Aviation Sector, Volume I

$139.00
Leistungsbewertung von Rechensystemen

Leistungsbewertung von Rechensystemen

$69.99
Remembering the German Democratic Republic

Remembering the German Democratic Republic

$39.99
Fluid Mechanics and Fluid Power  Contemporary Research

Fluid Mechanics and Fluid Power Contemporary Research

$329.99
Guided Reading en Espaol: Yo veo los peces

Guided Reading en Espaol: Yo veo los peces

$3.71
Grundzge der mathematischen Logik

Grundzge der mathematischen Logik

$69.95
Bedienungsprozesse

Bedienungsprozesse

$59.99
Zellulare Systeme

Zellulare Systeme

$69.99
Coordination Models and Languages

Coordination Models and Languages

$54.99
Food Allergens

Food Allergens

$249.99
Fachkunde fr Elektroberufe

Fachkunde fr Elektroberufe

$49.99
Estimating SMEs Cost of Equity Using a Value at Risk Approach

Estimating SMEs Cost of Equity Using a Value at Risk Approach

$39.99
Recent Trends in Applied Artificial Intelligence

Recent Trends in Applied Artificial Intelligence

$39.99
The Rise of Managerial Bureaucracy

The Rise of Managerial Bureaucracy

$79.99
Salinity Responses and Tolerance in Plants, Volume 2

Salinity Responses and Tolerance in Plants, Volume 2

$84.99
Finanzierung fr den Mittelstand

Finanzierung fr den Mittelstand

$59.99
Gesundheitsfrderung an der Universitt

Gesundheitsfrderung an der Universitt

$59.99
Polyhydroxyalkanoates Biopolymers

Polyhydroxyalkanoates Biopolymers

$54.99
Linguistic Fuzzy Logic Methods in Social Sciences

Linguistic Fuzzy Logic Methods in Social Sciences

$109.99
Ganzheitliche Businessmodell-Transformation

Ganzheitliche Businessmodell-Transformation

$54.99
Substance Abuse Recovery in College

Substance Abuse Recovery in College

$159.99
Religion and Civil Human Rights in Empirical Perspective

Religion and Civil Human Rights in Empirical Perspective

$54.99
The Academic Profession in Europe: New Tasks and New Challenges

The Academic Profession in Europe: New Tasks and New Challenges

$109.99
Stability of Functional Equations in Several Variables

Stability of Functional Equations in Several Variables

$84.99
Remote Sensing and GIScience

Remote Sensing and GIScience

$129.00
previous
next