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 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Reviews
Questions & Answers
Der Prophet der Deutschen
$64.99
Chart Software Training
$59.99
A.C. Pigou and the 'Marshallian' Thought Style
$129.99
Digitalisation: Opportunities and Challenges for Business
$249.99
The nth-Order Comprehensive Adjoint Sensitivity Analysis Methodology, Volume I
$179.99
Non-centralized Optimization-Based Control Schemes for Large-Scale Energy Systems
$199.99
Empirical Explorations in Regional Growth
$54.99
Physik mit Python
$37.99
Elementary Bios: Amelia Earhart
$3.71
Innovating Education in Technology-Supported Environments
$179.99
Alternative life-history styles of fishes
$219.99
Der Herzmuskel und seine Bedeutung fr Physiologie, Pathologie und Klinik des Herzens
$59.99
Klimaanpassung in Forschung und Politik
$34.99
Jack Plays the Violin
$4.46
Interventional Radiology in Cancer
$249.99
Sanierungsstrategien der Treuhandanstalt
$49.99
Bad Guys in Let the Games Begin! (The Bad Guys #17)
$5.24
Mathematical Theories of Distributed Sensor Networks
$109.99
Stylistic Approaches to Nigerian Fiction
$54.99
Halal aus Sicht der muslimischen Bevlkerung
$69.99
User Behavior and Technology Development
$169.99
The World Almanac 5,001 Incredible Facts for Kids on Nature, Science, and People by World Almanac Kids
$17.99
Direct Digital Control Systems
$169.99
Crucial Event Rehabilitation Therapy
$49.99
Substituent Effects in Radical Chemistry
$219.99
Intracellular Traffic and Neurodegenerative Disorders
$219.99
Climate Change and Resilient Food Systems
$249.99
Determinanten und Effizienz multinationaler Organisationsstrukturen in Forschung & Entwicklung
$64.99
Natural Disaster Risk Management
$119.99
Combustion
$109.99
Computer Networks
$54.99
Design/Build Marketing
$39.99
Smart Production
$44.99
E-Cigarettes and the Comparative Politics of Harm Reduction
$59.99
ffentlichkeit und digitales Fernsehen
$69.99
Solving Identity Management in Modern Applications
$34.99
Mathematical Summary for Digital Signal Processing Applications with Matlab
$169.99
Practical Guide to Salesforce Communities
$29.99
Programming with Motif
$109.99
Die Erkrankungen des Rckens
$44.99
