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

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

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

Big Data Technologies and Applications

$89.99

Late Cretaceous/Paleogene West Antarctica Terrestrial Biota and its Intercontinental Affinities

$39.99

Wirkungen von Markenkrisen

$69.99

Studies in International Business

$109.99

Protocols in Actinobacterial Research

$119.99

Discretionary Managerial Behavior

$109.99

Facilitating Treatment Adherence

$54.99

Teaching the Cult of Literature in the French Third Republic

$39.99

Managing Future Enterprise

$39.99

Who One Is

$219.99

Policy Frames on Spousal Migration in Germany

$54.99

Model Income Tax Treaties

$24.99

Spectral Shakespeares

$54.99

Erdmessung und Satellitengeodsie

$129.99

The Geology of Iberia: A Geodynamic Approach

$189.00

Knowledge Management for Health Care Procedures

$39.99

Kulturelles Kapital in der Migration

$39.99

Computational Intelligence, Optimization and Inverse Problems with Applications in Engineering

$84.99

CAD mit ACAD-BAU

$69.99

Territory and Electoral Rules in Post-Communist Democracies

$54.99

ERP-Software: Funktionalitt und Konzepte

$79.99

Die Lepra

$69.99

Dimension-based Quality Modeling of Transmitted Speech

$84.99

Regulatory Governance

$129.99

The Advances in Civil Engineering Materials

$169.00

Privatization, Corporate Governance and the Emergence of Markets

$109.99

Rookie Reader-Level C: Katie Couldn't

$3.71

Eine Jugend in Deutschland?

$44.99

Iris Murdoch

$109.99

Finanzierung der Betriebe

$59.99

Contemporary Rhinology: Science and Practice

$159.99

Future Data and Security Engineering

$54.99

Tissue Morphogenesis

$169.99

Environmental Science and Technology: Sustainable Development

$169.00

Chirurgenlexikon

$99.00

The Matrix Perturbation Method in Quantum Mechanics

$129.99

Probabilistic Constrained Optimization

$109.99

Medical Image Computing and Computer Assisted Intervention MICCAI 2024

$109.99

Atmospheric Deposition and Forest Nutrient Cycling

$84.99

Adaptive Information Processing

$84.99