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

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

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

Similar Products

Circuit Simulation with SPICE OPUS

$109.99

Linear and Nonlinear Circuits: Basic & Advanced Concepts

$99.99

Plug In Electric Vehicles in Smart Grids

$109.99

Personalized Therapy for Multiple Myeloma

$39.99

Coastal Heritage and Cultural Resilience

$169.99

Multiplication Facts 0-12 Grade 4 Differentiation Pack

$5.99

Biomimetic and Biohybrid Systems

$54.99

Absolutely Nat (Nat Enough #3)

$9.74

Activation to Acquisition

$54.99

Algebraic K-Theory

$39.99

Graphische Dynamik

$84.99

Journalismus von der Insel Nairobi

$59.99

Das Kontinuum diskret berechnen

$29.99

Der Einfluss von Cloud Computing auf IT-Dienstleister

$64.99

Transport and Energy Conversion in the Heliosphere

$39.99

Grundlagen der Gynkologischen Ausbildung

$69.95

The Dependence Phenomenon

$39.99

Electrochemistry of Flotation of Sulphide Minerals

$84.99

Services of General Economic Interest as a Constitutional Concept of EU Law

$129.99

Minimally Invasive Oral and Maxillofacial Surgery

$169.99

Neuromuscular Disease

$64.99

Regenerative Medicine Procedures for Aesthetic Physicians

$79.99

Taxonomies for the Development and Verification of Digital Systems

$109.99

Vielfalt von hochschulischen Bildungsverlufen

$84.99

Books Without Borders, Volume 2

$39.99

Fhrungskrfteentwicklung

$34.99

Biopreparedness and Public Health

$129.00

Frames and Concept Types

$84.99

HIV & HTLV-I Associated Malignancies

$169.99

Biologic and Nanoarthroscopic Approaches in Sports Medicine

$119.99

Phytoplasmas: Plant Pathogenic Bacteria - I

$169.00

Analysing Historical Mathematics Textbooks

$119.99

Patient-Derived Xenografts

$219.99

Yeats and English Renaissance Literature

$109.99

Capetian Women

$109.99

Functional Differential Equations and Applications

$169.99

Die industrielle Investitionsentscheidung

$59.99

Phase-Transfer Catalysis

$169.00

Economics in Theory and Practice: An Eclectic Approach

$39.99

Solar, Stellar and Galactic Connections between Particle Physics and Astrophysics

$129.00