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

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical 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

Academic Writing and Identity Constructions

$169.99

Encryption for Organizations and Individuals

$69.99

Global Justice, Human Rights and the Modernization of International Law

$179.99

Schwingungs- und Geruschuntersuchung an ortsfesten Getrieben

$54.99

Bilanzplanung und Bilanzgestaltung

$74.99

The European Union and World Politics

$39.99

Implementierung der Innovativen ffentlichen Beschaffung

$79.99

Rainwater Harvesting

$39.99

Dynamics Formulas and Problems

$29.99

Genomic Applications in Pathology

$189.00

Artificial Intelligence for Fashion Industry in the Big Data Era

$219.99

New Pathways in High-Energy Physics II

$39.99

China-Kompetenz fr Wissenschaftler

$17.99

Calcium Signaling

$329.99

More than Moore

$89.00

Meta-Fhrung

$17.99

Jugendmedienforschung

$64.99

Educational Aid and National Development

$14.99

Progress in Stellar Spectral Line Formation Theory

$39.99

Groundwater as a Key for Adaptation to Changing Climate and Society

$109.99

The Plant Cell Wall

$219.00

Obstetric Anesthesia Handbook

$39.99

Enterprise Engineering

$54.99

Gossip

$54.99

Ethics in and Sized Enterprises

$169.99

Rethinking Rural Literacies

$99.99

Modelling Foundations and Applications

$54.99

What Isnt Being Said

$139.99

Practical Psychiatry for the Health Professional

$54.99

Agent-Oriented Software Engineering VII

$39.99

Cow Care in Hindu Animal Ethics

$31.00

Imaging and Visualization in The Modern Operating Room

$159.99

The Mammary Gland

$169.99

HCI International 2021 - Late Breaking Papers: HCI Applications in Health, Transport, and Industry

$129.99

Geometric Theory of Dynamical Systems

$69.99

Libro de opuestos: Grandes amigos, pequeas aventuras

$5.96

Republican Theory in Political Thought

$109.99

Knots, Low-Dimensional Topology and Applications

$199.99

Die globale Migration von Pflegekrften zurckgewinnen

$79.99

Advances in Hydrogeology

$84.99