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

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.

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

Instandhaltungsplanung und Betriebsplankostenrechnung

$59.99

Kostenoptimierte Anwendungsentwicklung

$44.99

Worlding a Peripheral Literature

$69.99

Pro Windows Embedded Compact 7

$59.99

Scientific Computing in Chemical Engineering II

$219.99

Effektives Customer Relationship Management

$59.99

Paralysestudien bei Negern und Indianern

$69.99

Narrow-gap II-VI Compounds for Optoelectronic and Electromagnetic Applications

$219.99

New Methods of Thought and Procedure

$109.99

Attributierte Grammatiken und Attributierungsalgorithmen

$69.99

Mathematics

$74.99

Der wohlerfahrne Kaufmann

$59.99

PISA Plus 2012 2013

$59.99

Werkstoffprfung fr die Umformtechnik

$59.99

The Apallic Syndrome

$84.99

Kinase Signaling Networks

$219.99

Shiftwork, Capital Hours and Productivity Change

$169.00

Human Insecurities in Southeast Asia

$159.99

Nuclear Weapons-Free Zones

$109.99

Fischkochbuch fr Gourmets

$49.99

Toward the Integration of Theory, Methods, Research, and Utilization

$169.99

Information Security and Cryptology

$54.99

Formulation and Production Carbonated Soft Drinks

$169.99

Der Praktiker in der Werkstatt

$44.99

The Physical Processes of Digestion

$109.99

Cotton

$219.99

Real Analysis: Foundations

$49.99

Conflict: Readings in Management and Resolution

$169.99

Soziale Ungleichheit

$34.99

Effektives Umweltmanagement

$79.99

The Changing Role of Central Banks

$54.99

Excited States of Proteins and Nucleic Acids

$54.99

Die Europische Aktiengesellschaft (SE)

$17.99

Surviving Neurosurgery

$69.99

Bericht ber die vierte Tagung ber Psychopathenfrsorge Dsseldorf

$59.99

The Smoke of the Soul

$79.99

Mechanisms of Drug Interactions

$109.00

Management of the Addicted Patient in Primary Care

$39.99

Die Apotheken-Gesetzgebung des deutschen Reiches und der Einzelstaaten auf der Grundlage der allgeme

$59.99

Proteins of the Nucleolus

$169.99