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

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783030393212
Condition
New
Product Description

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

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

Single Product Purchase

$69.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
$69.99 $69.99

$69.99
See Site In stock Visit Store

Similar Products

TNF-alpha Inhibitors

$109.99

CAPM und Tax-CAPM im Mehrperiodenfall

$49.99

The Dynamic Systems of Basic Economic Growth Models

$109.99

MATLAB for Medical Physics

$89.00

Polymer Technology Dictionary

$219.99

Systematische forstliche Bestimmungstabellen der wichtigen deutschen Waldbume und Waldstrucher im

$49.99

A Positive Psychological Approach to Suicide

$119.00

Experimentelle Untersuchungen an einer axialen Turbinenstufe

$59.99

Affinity Biosensors

$84.99

Interne Revision

$54.99

Childhood and Colonial Modernity in Egypt

$54.99

Elements of Dynamic Oceanography

$74.99

Die Familie in den neuen Bundeslndern

$44.99

The Professional Knowledge Base of Science Teaching

$84.99

Rntgendiagnostik der Oberen Speise- und Atemwege, der Atemorgane und des Mediastinums / Roentgendia

$44.99

Black Masculinity on Film

$109.99

KdV & KAM

$109.99

Emerging ICT Policies and Regulations

$129.99

Geosynthetics in Civil and Environmental Engineering

$359.00

Fortschritte in der Betontechnik des Massenbetonbaues

$59.99

Schnelle Reaktoren

$59.99

National Reflections on the Netherlands Didactics of Mathematics

$59.99

Broadband Satellite Communications for Internet Access

$169.99

Plant Cell Culture Protocols

$149.00

Seasonal Forecasts, Climatic Change and Human Health

$219.99

Semiclassical Theory of Mesoscopic Quantum Systems

$39.99

Algorithmic Aspects of Cloud Computing

$59.99

Heidelberger Gelehrtenlexikon 18031932

$129.99

Chemisches Praktikum fr Mediziner

$49.99

Psychologie fr die Wirtschaft

$59.99

Modern Power Systems Control and Operation

$119.00

Role of Seismic Testing Facilities in Performance-Based Earthquake Engineering

$169.00

Prediction and Control of Interaction Between Ground Building and Tunnel Construction Process

$109.99

Interferometrische Untersuchungen von Schaltlichtbgen in strmendem SF6

$54.99

Computational Synthetic Geometry

$29.99

Mediascape and The State

$109.99

Software Agents for Future Communication Systems

$39.99

Kinder als Rezipienten von Onlinewerbung

$59.99

The New Regulatory State

$39.99

(En)Gendering Taiwan

$54.99