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

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

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

Managementwissen fr Naturwissenschaftler

$54.99

Handbuch Geschlechterforschung und Fachdidaktik

$69.99

Sinn-Management

$64.99

Geomagnetics for Aeronautical Safety

$109.99

Environmental Chemistry

$54.99

Aristocratic Women and the Literary Nation, 1832-1867

$54.99

LASER 2004

$169.99

The 100 Best Astrophotography Targets

$49.99

ber den Einfluss der Massage auf die Zirkulation

$54.99

Unifying Theories of Programming

$44.99

Gandhi and the Psychology of Nonviolence, Volume 1

$109.99

Evolutionary Learning: Advances in Theories and Algorithms

$119.00

Die Beschrnkung des Betriebsausgabenabzugs

$69.99

Colonial Contexts and Postcolonial Theologies

$54.99

Online Video Revolution

$49.99

Entwicklung eines interaktiven Simulators auf der Basis von Petri-Netzen zur Modellierung und Bewert

$59.99

Entrepreneurship, Business and Economics - Vol. 1

$219.99

Treasury Management

$44.99

E-Man

$19.99

Reminders of Him by Colleen Hoover

$15.95

Geometric Aspects of Functional Analysis

$54.99

Neptune

$69.99

Islamic Philosophy and the Ethics of Belief

$64.99

Introduction to Probability and Measure

$36.00

World Guide to Abbreviations of Organizations

$39.99

Versuche ber den Einflu geneigter Spannglieder auf das Schubtragverhalten teilweise vorgespannter

$54.99

Umweltrisiko und Raumentwicklung

$54.99

Examples and Theorems in Analysis

$54.99

Reframing the Body

$54.99

Henry E. Kyburg, Jr. & Isaac Levi

$54.99

Essentials of Operative Cardiac Surgery

$39.99

Image Schemas and Concept Invention

$84.99

Windows PowerShell Desired State Configuration Revealed

$39.99

Strategic Logic

$199.99

Quantum Many Body Systems

$49.95

Fuzzy Data Analysis

$129.00

Gynkologie und Geburtshilfe 1988

$44.99

Computer Vision ECCV 2024

$79.99

Nonlinear Control Systems II

$189.00

Geotechnics for Sustainable Infrastructure Development

$189.00