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 (Coupon Required):
Buy Verification, Model Checking, and Abstract Interpretation for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
Reviews
Questions & Answers
Eigenkapitalmanagement mittels Asset-backed Securities
$79.99
Radical Solutions for Education in a Crisis Context
$169.99
The Entrepreneurial University
$109.99
Game Practice: Contributions from Applied Game Theory
$39.99
Perspectives on Software Requirements
$109.99
Medical Imaging Technology
$84.99
Industrial Relations in Africa
$39.95
Ultra-Wideband, Short-Pulse Electromagnetics 10
$299.99
Sentiment-Analyse deutschsprachiger Meinungsuerungen
$34.99
Geometry and its Applications in Arts, Nature and Technology
$64.99
Practitioners Guide to Evaluating Change with Neuropsychological Assessment Instruments
$169.99
Heights of Polynomials and Entropy in Algebraic Dynamics
$54.99
Karl Heinrich Bauer, Worte zu Seinem Gedenken
$59.99
Termites and Sustainable Management
$129.00
Multiparadigm Constraint Programming Languages
$84.99
Advanced Oxidation Processes in Dye-Containing Wastewater
$139.99
Aging and Drug Therapy
$39.99
Advances in Multi-Objective Nature Inspired Computing
$129.00
Berechnung der Wasserspiegellage beim Wechsel des Fliezustandes
$59.99
Deterministic and Stochastic Scheduling
$54.99
Modern Methods of Plant Analysis / Moderne Methoden der Pflanzenanalyse
$39.99
Die transformative Macht der Demografie
$29.99
Barbara Bodichons Epistolary Education
$54.99
Prventive Umweltpolitik
$59.99
Sequential Learning and Decision-Making in Wireless Resource Management
$109.99
A Review on Recent Echocardiographic Software
$139.99
The Problem of Religious Experience
$119.99
Achtsamkeit in Bildungsprozessen
$64.99
Logics for Concurrency
$39.99
Stairway to the Stars
$54.99
Natrliche Familienplanung heute
$39.99
Output Regulation and Cybersecurity of Networked Switched Systems
$129.00
Additive and Subtractive Manufacturing of Composites
$139.99
Paradigma Politische Kultur
$59.99
Neurolaw
$119.99
Virtuelle Aufgabenbearbeitung in mehrsprachigen Gruppen
$69.99
Proceedings of International Conference on Computational Intelligence and Data Engineering
$189.00
Stochastic Global Optimization and Its Applications with Fuzzy Adaptive Simulated Annealing
$199.99
ICAF 2019 Structural Integrity in the Age of Additive Manufacturing
$329.99
Minor Parties at British Parliamentary Elections 18851974
$54.99
