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
Security and Trust Management
$69.99
Baby Faces Collection 1 Spanish (Birth - 12 months)
$56.00
Technische Thermodynamik
$49.99
Proceedings of the Future Technologies Conference (FTC) 2021, Volume 3
$299.99
Minimizing Incisions and Maximizing Outcomes in Cataract Surgery
$109.99
Differential Inclusions
$109.00
Basic Methods and Protocols on Sourdough
$179.99
Design Methodology and Relationships with Science
$219.99
Thermodynamik
$39.99
Geotectonics
$39.99
Motivation in Lernprozessen
$69.99
Concepts, Frames and Cascades in Semantics, Cognition and Ontology
$59.99
Communications Policy in Europe
$54.99
Artificial Intelligence in Cyber Security: Impact and Implications
$149.00
Die Anfnge der literarischen Avantgarde in Deutschland ber Anverwandlung und Abwehr des italienisc
$84.99
Entropy Coders of the H.264/AVC Standard
$129.00
The proceedings of the 18th Annual Conference of China Electrotechnical Society
$259.00
Intracranial Pressure VI
$109.99
Illinois (A True Book: My United States)
$23.25
Laurent Series and their Pad Approximations
$39.99
Intestinal Absorption
$109.99
Electromagnetic Field Computation by Network Methods
$84.99
Service Design and Service Thinking in Healthcare and Hospital Management
$99.99
Medieval Culture and Society
$74.99
Aktuelle Diskurse in der Sozialwirtschaft III
$64.99
Proceedings of the International Conference on Hydrology and Water Resources, New Delhi, India, Dece
$663.00
Rethinking Horror in the New Economies of Television
$89.00
Biological Barriers in Behavioral Medicine
$39.99
Meat Biotechnology
$129.00
HCI in Games
$54.99
Practical Event-Driven Microservices Architecture
$69.99
Bereicherungsrecht
$19.99
Knee Fractures
$139.99
Location, Transport and Land-Use
$329.99
Natural Language in Business Process Models
$54.99
Scientific Integrity and Research Ethics
$79.99
The Ways of Federalism in Western Countries and the Horizon of Territorial Autonomy in Spain
$329.99
Japanese Public Opinion and the War on Terrorism
$54.99
Cancer in the Spine
$169.00
Fungal Associations
$169.00
