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

Affective Dialogue Systems

$54.99

Die Stratigraphie der alpin-mediterranen Trias / The Stratigraphy of the Alpine-Mediterranean Triass

$89.99

Self Change

$39.99

Subduction and Closure of the Palaeo-Asian Ocean along the Solonker Suture Zone: Constraints from an

$109.99

Private Strafvollzugsanstalten in den USA

$29.99

Learning Electricity and Electronics with Advanced Educational Technology

$219.99

Der Weg zur Gegenwart

$44.99

Introduction to Software Quality

$59.99

Diario de un Unicornio #2: Iris y el cachorro de dragon

$4.49

Gender Issues in the Sustainable Development Era

$139.00

Kommunale Gesundheitslandschaften

$69.99

Die Krise der Universitten

$64.99

Migration und Integration

$49.99

Einfhrung in Theorie und Praxis der Zeitreihen- und Modalanalyse

$39.99

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

$219.99

In Pursuit of Doris Lessing

$169.99

Verschwrungsglaube und Religion

$59.99

Klger irren - Denkfallen vermeiden mit System

$14.99

Topics in Parallel and Distributed Computing

$59.99

Touch and Feel Baby Animals

$5.24

Eco- and Ground Bio-Engineering: The Use of Vegetation to Improve Slope Stability

$169.99

The Political Economy of Regionalism in East Asia

$54.99

Die Begutachtung der Traumatischen Leistenbrche

$59.99

Effektiver Umgang mit Stress

$34.99

Risikoorientierte Abschluprfung

$59.99

Chemical and Biochemical Reactivity

$219.99

CMOS Integrated Analog-to-Digital and Digital-to-Analog Converters

$329.99

New Directions in Wireless Communications Research

$129.00

Dynamics of Comets: Their Origin and Evolution

$39.99

Proceedings of the Second International Conference on Information Management and Machine Intelligenc

$279.99

Physik

$79.99

Betriebsanalysen

$99.99

Grid Computing: Software Environments and Tools

$84.99

Innovations and Advanced Techniques in Computer and Information Sciences and Engineering

$169.99

Genomics of Crucifers Host-Resistance

$199.99

Colloidal Self-Assembly

$179.99

Physik fr Hochschulanfnger

$69.99

Advances in Machining of Composite Materials

$99.00

Scholar Zone Extended Learning Plus Math Grade 2

$680.00

Drinking in Victorian and Edwardian Britain

$31.00