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

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, 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

Global Report on Student Well-Being

$109.99

Modern High Temperature Science

$84.99

Cyprus

$54.99

FORTRAN Programming

$54.99

Sophie the Hero

$3.74

Sound, Space and Society

$54.99

Personal Satellite Services

$39.99

Synthetic Biology Analysed

$84.99

Exklusive Gesundheit

$59.99

Measles

$219.99

Qualitative Theory of Planar Differential Systems

$84.99

Genders, Sexualities, and Spiritualities in African Pentecostalism

$169.99

Eisenbahn-Verkehrsordnung

$69.99

Gendered Academic Citizenship

$109.99

Peacekeeping in South Sudan

$39.99

Modes of Action of GnRH and GnRH Analogs

$84.99

Sleep-Wake Neurobiology and Pharmacology

$169.99

Homocysteine in Protein Structure/Function and Human Disease

$129.00

Expertensysteme 87 Konzepte und Werkzeuge

$69.95

Das globale Netz

$17.99

Erfolgsfaktor Vertrauen

$39.99

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments

$54.99

Wettbewerbsfaktor Fachkrfte

$64.99

Selected Topics and Applications of Tensor Analysis

$54.99

Pricing in (In)Complete Markets

$54.99

Reaganomics Goes Global

$109.99

Wavelet Packets and Their Statistical Applications

$109.99

Knowledge Science, Engineering and Management

$39.99

Biologically Inspired Cognitive Architectures 2021

$249.99

The Secret Agent

$4.49

Religious Internationals in the Modern World

$109.99

Law and Democracy in Neil MacCormick's Legal and Political Theory

$129.00

Projektmanagement als Fhrungskonzept

$39.99

Non-Pharmacological Interventions

$54.99

Nature Driven Urbanism

$199.99

Biotechnology of Silk

$129.00

Optimale Gestaltung von Fondsfamilien

$69.99

Dynamics of Adsorptive Systems for Heat Transformation

$54.99

Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Product

$39.99

Einfhrung in die Dynamik

$59.99