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

Flow Cytometry in Microbiology

$109.99

House Rating Schemes

$84.99

Blasenkarzinom

$9.99

FBL Klein-Vogelbach Functional Kinetics Behandlungstechniken

$29.99

Postwar Japanese Economy

$84.99

Topics in Fluorescence Spectroscopy

$169.00

Digital Watermarking

$39.99

Restoration and Recovery of Shallow Eutrophic Lake Ecosystems in The Netherlands

$219.99

Recombinant Virus Vaccines

$89.00

Management of Complex Multi-reservoir Water Distribution Systems using Advanced Control Theoretic To

$39.99

Analogies Grade 4 Differentiation Pack

$5.99

Aquatic Telemetry

$219.99

Public Policy for Venture Capital

$54.99

Advances in Information Systems Research, Education and Practice

$109.99

Einfhrung in die Codierungstheorie

$59.99

Sustainable Energy Efficient Communities

$139.99

JDF

$39.99

Automation and Innovation with Computational Techniques for Futuristic Smart, Safe and Sustainable

$109.00

Lanthanide Luminescence

$259.00

Riemanns geometrische Ideen, ihre Auswirkung und ihre Verknpfung mit der Gruppentheorie

$44.99

The Making of Chinas Peace with Japan

$129.99

Experimentelle Untersuchung der Splentgasung von Stahlschmelzen mit Argon bei unterschiedlichen Leg

$59.99

Recent Advances in Traffic Engineering for Transport Networks and Systems

$169.99

Advances in Computational Algorithms and Data Analysis

$129.00

Parlamentarisches Regierungssystem in der Bundesrepublik Deutschland

$59.99

Banking and Finance in the Arab Middle East

$49.99

Einfhrung in die Technische Hydraulik

$44.99

A Comprehensive Guide to Male Aesthetic and Reconstructive Plastic Surgery

$169.00

Fundamentals of Structural Engineering

$129.99

Array Beamforming with Linear Difference Equations

$69.99

German Corporate Governance in International and European Context

$84.99

Linksextremismus in Deutschland

$59.99

Managing Pandemic and Correcting Development Fundamentals

$129.00

Stepsister

$8.24

Akzeptanz von Produktinnovationen

$17.99

Finite-Element-Modellierung 1

$49.99

Environmental Indicators and Shellfish Safety

$109.99

Advances in Bionanomaterials II

$169.99

William Gibson's "Neuromancer"

$59.99

Handbuch der normalen und pathologischen Physiologie

$49.99