Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Verification, Model Checking, and Abstract Interpretation
Best Price:
Buy Verification, Model Checking, and Abstract Interpretation for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Fuzzy Data Warehousing for Performance Measurement
$109.99
Das Grundbuch im Kreditgeschft
$39.99
Emerging Research, Practice, and Policy on Computational Thinking
$179.99
AutoBATS and 3D MUSIC: New Approaches to Imaging Earthquake Rupture Behaviors
$199.99
Blaise Pascal
$169.99
A Recursive Introduction to the Theory of Computation
$54.99
Sounds and the City
$37.99
Plant Epigenetics
$89.00
Globalisierung der Medienkommunikation
$39.99
Embryology of Dolphins
$109.99
The Metrical Theory of Jacobi-Perron Algorithm
$29.99
Staat und Islam
$49.99
Strategic Shifts between Business Types
$109.99
Neue Methoden der Wundheilung
$44.99
Einflu der Stempelgeometrie auf den Umformwiderstand und die Abformgenauigkeit beim Kalteinsenken
$59.99
History and GIS
$179.99
Risk Management and Regulation in Banking
$84.99
Repetitorium der Funktionentheorie
$59.99
Generalized Continua as Models for Classical and Advanced Materials
$129.00
Putting Systems and Complexity Sciences Into Practice
$54.99
Strategische Positionierung in der Automobilbranche
$74.99
Wachstum lernen
$74.99
Annuaire Europen / European Yearbook
$39.99
Population Biology
$84.99
Biopsy Pathology of Melanocytic Disorders
$54.99
Progress in Botany / Fortschritte der Botanik
$39.99
Average-Cost Control of Stochastic Manufacturing Systems
$84.99
Molecular Astrophysics
$39.99
Die Enkodierung und Dekodierung piktorieller Werbebotschaften
$44.99
New Zealands Global Responsibility
$129.99
Think Tanks, Foreign Policy and the Emerging Powers
$64.99
Controlling & Management Review - Jahrgang 2008
$99.99
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating
$84.99
Beitrag zu Grundsatzfragen der Leistungsentlohnung vorzugsweise bei mechanisierter und teilweise aut
$44.99
Cloud-Services aus der Geschftsperspektive
$74.99
Der von Art. 8 EMRK gewhrleistete Schutz vor staatlichen Eingriffen in die Persnlichkeitsrechte im
$74.99
Guide to Simulation and Modeling for Biosciences
$39.99
PRICAI 2012: Trends in Artificial Intelligence
$39.99
Wettbewerbsfhigkeit europischer Messeveranstalter
$39.99
Peptidomimetics II
$219.99
