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

$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

Do You Like My Bike?: An Acorn Book (Hello, Hedgehog! #1)

$4.49

Boundaries of a Complex World

$99.00

Recent Developments in General Relativity

$169.99

Messung der Dichte und der magnetischen Suszeptibilitt von Zinn-Zink-Legierungen

$59.99

Grundlagen der Architekturtheorie

$69.99

Working in Language and Law

$84.99

The Shakespeare User

$119.99

Die Immunittsforschung

$59.99

Islamic Finance and Global Capitalism

$109.99

Composite Materials Processing Using Microwave Heating Technology

$129.00

Wissens- und Technologietransfer an Universitten

$79.99

Passing the General Surgery Oral Board Exam

$129.99

Farbprferenzen bei Stachellosen Bienen und Hummeln

$59.99

Imaging of Hypoxia

$169.99

Key Qualifications in Work and Education

$109.99

Innere Sicherheit

$29.99

Das Geschlecht bin ich

$59.99

Case Studies in Bayesian Statistics

$109.99

Der kranke Mensch

$74.99

Genomic Designing for Abiotic Stress Resistant Pulse Crops

$219.99

Gallopamil

$59.99

Proceedings of 2nd International Conference on Smart Computing and Cyber Security

$299.99

Fundamentals of Java Programming

$84.99

Social Preference, Institution, and Distribution

$54.99

Artificial Intelligence, Big Data and Data Science in Statistics

$199.99

Serious Games: The Challenge

$54.99

Finance: Servant or Deceiver?

$39.99

Transformations of a Genre

$89.00

Profit Shifting and Tax Base Erosion

$109.99

Corporate Training for Effective Performance

$109.99

The Grothendieck Festschrift, Volume III

$139.99

Sicherheitsaspekte in der Informationstechnik

$69.99

The Challenge of Change in EU Business Associations

$109.99

Re-Formulierung des Privaten

$64.99

Issues in Theoretical Diversity

$84.99

Numerik und Anwendungen von Eigenwertaufgaben und Verzweigungsproblemen

$49.99

Signal Processing in Medicine and Biology

$119.99

Molecular Liquids

$39.99

Smart Economy in Smart Cities

$329.99

Securitization and the Global Economy

$129.99