Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Verification, Model Checking, and Abstract Interpretation

Best Price (Coupon Required):
Buy Verification, Model Checking, and Abstract Interpretation for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
$39.99 $39.99

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

Product Details

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

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Resilienzfrderung an der Schule

Resilienzfrderung an der Schule

$49.99
Cannabis in Medicine

Cannabis in Medicine

$79.99
C.G.Jung and Literary Theory

C.G.Jung and Literary Theory

$84.99
Die Beziehung zwischen werbungtreibendem Unternehmen und Werbeagentur

Die Beziehung zwischen werbungtreibendem Unternehmen und Werbeagentur

$64.99
Start-up Cultures in Times of Global Crises

Start-up Cultures in Times of Global Crises

$59.99
A Practical Approach to the Care of Adolescents and Young Adults with Cancer

A Practical Approach to the Care of Adolescents and Young Adults with Cancer

$199.99
Allgemeine Rntgenkunde

Allgemeine Rntgenkunde

$59.99
Die cerebralen Entmarkungskrankheiten im Kindesalter

Die cerebralen Entmarkungskrankheiten im Kindesalter

$69.99
Chicano English in Context

Chicano English in Context

$109.99
Grundbedingungen von Demokratie

Grundbedingungen von Demokratie

$84.99
Rethinking Inclusive Education: The Philosophers of Difference in Practice

Rethinking Inclusive Education: The Philosophers of Difference in Practice

$129.00
Kursus der klinischen Untersuchungsmethoden fr Studierende der Zahnheilkunde

Kursus der klinischen Untersuchungsmethoden fr Studierende der Zahnheilkunde

$59.99
Physical Methods in Agriculture

Physical Methods in Agriculture

$129.00
Bewegung, Training, Leistung und Gesundheit

Bewegung, Training, Leistung und Gesundheit

$129.00
Trust within Organizations of the New Economy

Trust within Organizations of the New Economy

$54.99
Benefiting from Thermal and Mechanical Simulation in Micro-Electronics

Benefiting from Thermal and Mechanical Simulation in Micro-Electronics

$109.99
From Nutrition Support to Pharmacologic Nutrition in the ICU

From Nutrition Support to Pharmacologic Nutrition in the ICU

$39.99
Dairy Fat Products and Functionality

Dairy Fat Products and Functionality

$149.00
Female Urinary Tract Infections in Clinical Practice

Female Urinary Tract Infections in Clinical Practice

$54.99
Das medizinische Gutachten

Das medizinische Gutachten

$79.99
Macroergonomics for Manufacturing Systems

Macroergonomics for Manufacturing Systems

$109.99
Migration and the Search for Home

Migration and the Search for Home

$79.99
Markenmanagement in der Motorradindustrie

Markenmanagement in der Motorradindustrie

$89.00
Bio-inspired Computing  Theories and Applications

Bio-inspired Computing Theories and Applications

$54.99
Rational-Emotive and Cognitive-Behavioral Approaches to Child and Adolescent Mental Health:  Theory

Rational-Emotive and Cognitive-Behavioral Approaches to Child and Adolescent Mental Health: Theory

$129.99
Advances in Intelligent Networking and Collaborative Systems

Advances in Intelligent Networking and Collaborative Systems

$219.99
Playing Lotera / El Juego de la Lotera

Playing Lotera / El Juego de la Lotera

$5.96
Cholesterol Transporters of the START Domain Protein Family in Health and Disease

Cholesterol Transporters of the START Domain Protein Family in Health and Disease

$109.99
Seifen und Seifenartige Stoffe

Seifen und Seifenartige Stoffe

$84.99
Scheitern - Organisations- und wirtschaftssoziologische Analysen

Scheitern - Organisations- und wirtschaftssoziologische Analysen

$49.99
Urheber- und Erfinderrecht

Urheber- und Erfinderrecht

$54.99
Communication Technologies for Vehicles

Communication Technologies for Vehicles

$39.99
Mucocutaneous Manifestations of HIV/AIDS

Mucocutaneous Manifestations of HIV/AIDS

$159.99
Unternehmenstheorie und Unternehmensplanung

Unternehmenstheorie und Unternehmensplanung

$69.99
Welche Gleichheit, welche Ungleichheit?

Welche Gleichheit, welche Ungleichheit?

$39.99
Friendship and Diversity

Friendship and Diversity

$139.99
Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms

$84.99
Neuromuscular Disease

Neuromuscular Disease

$169.00
The Definitive Guide to Masonite

The Definitive Guide to Masonite

$44.99
Blockchain and the Public Sector

Blockchain and the Public Sector

$159.99
previous
next