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

Advances and Challenges in Parametric and Semi-parametric Analysis for Correlated Data

$109.99

Im Netz der Nachricht

$34.99

Lebensfragen

$69.99

Weak Interactions and Higher Symmetries

$109.99

Eta Carinae and the Supernova Impostors

$199.99

Cell Mapping Methods

$109.99

Continuous-Time Markov Chains

$99.00

Progress in Infrared Spectroscopy

$54.99

Emotional Machines

$79.99

Advances in Human-Computer Interaction

$109.99

Living with HIV and ARVs

$39.99

Die Zeitung zwischen Print und Digitalisierung

$74.99

Structural Plasticity

$199.00

Advances in Manufacturing II

$109.99

Tissue Engineering in Oral and Maxillofacial Surgery

$109.99

Clinical Cases in Psoriasis

$69.99

Graham Greene: Political Writer

$54.99

PET/CT-Atlas

$379.99

Dienstleistungsnetzwerke

$59.99

Fault-Tolerant Parallel and Distributed Systems

$169.99

Leiter, Halbleiter, Supraleiter - Eine Einfhrung in die Festkrperphysik

$39.99

R & D, Innovation and Industrial Structure

$109.99

Transgenic Crops IV

$169.00

Bewertung von Fuballunternehmen

$69.99

Eicosanoids and Radiation

$169.99

Banking and Monetary Policy in Eastern Europe

$109.99

Risk Theory

$54.99

Technische Kompositionslehre

$34.99

Polycyclic Aromatic Hydrocarbons and Astrophysics

$169.00

Surveys in Differential-Algebraic Equations IV

$54.99

Biochemical Responses to Environmental Stress

$54.99

Aachener Bausachverstndigentage 2004

$54.99

Reviews of Physiology, Biochemistry and Pharmacology

$39.99

Organisationskulturen beeinflussen

$17.99

Communicating COVID-19

$169.99

Cross-Cultural Design. Applications in Business, Communication, Health, Well-being, and Inclusivenes

$89.99

Subnational Government

$109.99

Dopamine and Sleep

$169.99

Management of Soft Tissue Sarcoma

$199.99

Spinal Cord Injury Rehabilitation

$109.99