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

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019. The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 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

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Handbuch Europische Aufklrung

$24.99

Advances in Spectroscopy: Molecules to Materials

$109.99

Restorative Justice: Promoting Peace and Wellbeing

$109.99

Replacement of Renal Function by Dialysis

$39.99

Algorithms and Data Structures

$39.99

Gesundheitscoaching

$59.99

From Seed to Plant

$5.96

China and Taiwan in Latin America and the Caribbean

$99.00

Poetics of Prose

$59.99

Hygrothermal Behavior, Building Pathology and Durability

$84.99

Victorian Fantasists

$29.99

Submarine Mass Movements and Their Consequences

$169.99

Strategisches Aging Workforce Management

$69.99

Manahmen der Nachwuchs- und Talentfrderung im Deutschen Gewerkschaftsbund

$59.99

Adorno and Modern Theatre

$54.99

Unicorn Day: Unicorn Christmas

$5.96

Experimental Aspects of Quantum Computing

$129.00

ffentliche Kommunikation

$99.99

Network-Centric Service Oriented Enterprise

$169.99

Gas Phase Chromatography of Steroids

$109.99

The Wednesday Wars

$5.96

Software Quality Management VI

$109.99

Cross-Cultural Risk Perception

$169.99

Computer Network Architectures and Protocols

$169.99

Soil Health and Environmental Sustainability

$109.99

Human Rights Policies in Chile

$109.99

Geological Disaster Monitoring Based on Sensor Networks

$109.99

The Security Dilemmas of Southeast Asia

$84.99

Fundraising Principles for Faculty and Academic Leaders

$79.99

The Figure of the Animal in Modern and Contemporary Poetry

$99.99

Pro HTML5 with Visual Studio 2015

$49.99

HTTE Band 3: Elektro- und informationstechnische Grundlagen fr Ingenieure

$89.99

Autonomie von Fertigungssegmenten

$49.99

The Creation and Inheritance of Digital Afterlives

$109.99

The Eight International Conference "Bridges in Danube Basin"

$169.00

Vor dem Lustmord

$44.99

Health Information Science

$74.99

Energy Efficiency Financing and Market-Based Instruments

$119.99

Quantum-Mechanical Ab-initio Calculation of the Properties of Crystalline Materials

$109.99

Poincar, Philosopher of Science

$109.99