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

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.

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

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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

$39.99
See Site In stock Visit Store

Similar Products

The Neutrophil

$39.99

Misunderstanding Asia

$54.99

Berufsziel Social Media

$29.99

Cyber China

$54.99

ber die Schnheit des Findens

$29.99

Investing for Sustainability

$84.99

Personalmanagement

$59.99

Basiswissen Insolvenz

$29.99

In the Pursuit of Winning

$109.99

Interactions Between Biosphere, Atmosphere and Human Land Use in the Amazon Basin

$129.00

The Manipulation of Choice

$109.99

New Approaches to Building Pathology and Durability

$169.99

Researching Second Language Acquisition in the Study Abroad Learning Environment

$59.99

The Young Earth

$54.99

Information Fusion in Distributed Sensor Networks with Byzantines

$139.99

If I Were a.: Si yo fuera un len

$4.46

Advances in Superconductivity II

$169.99

Crystalline Semiconducting Materials and Devices

$169.00

Web Information Systems Engineering WISE 2015

$54.99

Transactions on Computational Science XXXVIII

$54.99

International Debt and Central Banking in the 1980s

$44.99

Endokrine Therapie des fortgeschrittenen Prostatakarzinoms

$54.99

Willem Einthoven (18601927) Father of electrocardiography

$54.99

FM'99 - Formal Methods

$84.99

The Flavonoids

$84.99

Daily Word Ladders: Idioms

$14.99

Autobiographie

$24.99

Formal Engineering for Industrial Software Development

$54.99

Interim Measures Indicated by International Courts

$84.95

Harmonic Function Theory

$99.99

Simulation in Chassis Technology

$39.99

Concise Introduction to Cement Chemistry and Manufacturing

$29.99

Caterpillars in the Middle

$89.99

Seltene Erkrankungen und der lange Weg zur Diagnose

$34.99

Berufs- und Karriere-Planer Wirtschaft 2011 | 2012

$19.99

Supply Chain Management with APO

$59.99

Group Theoretical Methods and Their Applications

$54.99

Scalable Uncertainty Management

$54.99

Vertrauen als Erfolgsfaktor virtueller Unternehmen

$59.99

The Ambiguity Advantage

$89.99