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

Functional Approach to Professional Discourse Exploration in Linguistics

$44.99

English for Planning and Building Professionals

$84.99

Renewing Cities with Value Capture Planning

$169.99

Investigations on rf breakdown phenomenon in high gradient accelerating structures

$84.99

Advanced Data Analytics in Health

$139.00

Computational Radiology for Orthopaedic Interventions

$54.99

Brazilian Derivatives and Securities

$109.99

Atrial Fibrillation

$54.99

Personalauswahl im Vertrieb

$39.99

Loki

$5.21

Contemporary Views on the Holocaust

$109.99

Non-violent Communication and Narrative Medicine for Promoting Sustainable Health

$109.99

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

$169.00

Organising the Propaganda Instrument: The British Experience

$54.99

Aufgaben aus der Flugzeugstatik

$84.99

Heterogeneous Vehicular Networks

$54.99

Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace

$39.99

EKC 2009 Proceedings of EU-Korea Conference on Science and Technology

$169.00

Tagungsband des 4. Kongresses Montage Handhabung Industrieroboter

$129.99

Digitalization in Finance and Accounting

$189.00

Ausbruch aus der Komplexittsfalle

$49.99

Computer Security

$39.99

Current Concepts in Regional Anaesthesia

$54.99

The Reconstruction of Modality in Chinese-English Government Press Conference Interpreting

$39.99

Advances in Intelligent Informatics

$169.00

Evidence based diagnostics of musculoskeletal disorders in primary care

$49.99

Masters Theses in the Pure and Applied Sciences

$39.99

Rheinisch-Westflische Akademie der Wissenschaften

$69.99

Computational Economics and Finance

$119.00

Towards Sustainable Building

$109.99

Uniform Output Regulation of Nonlinear Systems

$54.99

Grundfragen des Konkordats-Eherechtes

$49.99

e-Democracy

$169.99

A World with Robots

$129.00

Gabby's Dollhouse: MerCat's Cruise Ship

$4.49

Die nationale Variett des plurizentrischen Persisch in Zentralasien

$79.99

After the Shot Drops by Randy Ribay

$15.99

Hydrant-Hydra: A Branches Book (The Binder of Doom #4)

$5.24

Phosphorus in Freshwater Ecosystems

$74.99

Segregation und Eingliederung

$59.99