Copied Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Social Aesthetics and the School Environment
$109.99
Waste Management
$39.99
Work-Life Interface
$109.99
Design and Delivery of SiRNA Therapeutics
$199.99
Arthropod Biology and Evolution
$219.99
Praxishandbuch Prsentation und Veranstaltungsmoderation
$89.99
Aktien richtig bewerten
$169.99
Earth Observation with CHAMP
$219.99
Functional and Logic Programming
$39.99
Philosophical and Political Consequences of the Critique of Political Economy
$119.00
Regional Development Reconsidered
$84.99
The Aesthetics of Free Speech
$54.99
Tips und Tricks fr den Urologen
$54.99
Oxygen Transport to Tissue XXVII
$169.00
Soziale Basis und soziale Funktion des Nationalsozialismus
$59.99
KI 2016: Advances in Artificial Intelligence
$54.99
The Stevensweert Kantharos
$54.99
Thermodynamic and Thermophysical Properties of Saline Water
$169.99
Foundations of Intelligent Systems
$549.99
Das Leistungsvermgen der Wlzlager
$44.99
System Design
$129.00
Dynamics of Sensory and Cognitive Processing by the Brain
$129.00
Hrtbare Formmassen
$44.99
English Language Teaching Textbooks
$179.99
Conducted Electromagnetic Interference in Power Converters: Modeling, Prediction and Reduction
$159.99
Progress in Performance Management
$39.99
Celebrating Our Cuentos
$26.24
Vorlesungen ber Ethik und Wertlehre 19081914
$699.99
American Individualisms
$54.99
Gender and Sexuality Development
$329.99
Angiogenesis in Health and Disease
$39.99
Family History Digital Libraries
$159.99
Comparative Genomics
$119.99
Carlo Tresca
$54.99
Autism
$109.99
Netze Protokolle Spezifikationen
$49.99
Content Distribution for Mobile Internet: A Cloud-based Approach
$199.99
Computer Modelling in Atmospheric and Oceanic Sciences
$109.99
Electromagnetics and Network Theory and their Microwave Technology Applications
$109.99
Gesnder lnger leben
$19.99
