Copied Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
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.
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 |
Reviews
Questions & Answers
Global Report on Student Well-Being
$109.99
Modern High Temperature Science
$84.99
Cyprus
$54.99
FORTRAN Programming
$54.99
Sophie the Hero
$3.74
Sound, Space and Society
$54.99
Personal Satellite Services
$39.99
Synthetic Biology Analysed
$84.99
Exklusive Gesundheit
$59.99
Measles
$219.99
Qualitative Theory of Planar Differential Systems
$84.99
Genders, Sexualities, and Spiritualities in African Pentecostalism
$169.99
Eisenbahn-Verkehrsordnung
$69.99
Gendered Academic Citizenship
$109.99
Peacekeeping in South Sudan
$39.99
Modes of Action of GnRH and GnRH Analogs
$84.99
Sleep-Wake Neurobiology and Pharmacology
$169.99
Homocysteine in Protein Structure/Function and Human Disease
$129.00
Expertensysteme 87 Konzepte und Werkzeuge
$69.95
Das globale Netz
$17.99
Erfolgsfaktor Vertrauen
$39.99
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments
$54.99
Wettbewerbsfaktor Fachkrfte
$64.99
Selected Topics and Applications of Tensor Analysis
$54.99
Pricing in (In)Complete Markets
$54.99
Reaganomics Goes Global
$109.99
Wavelet Packets and Their Statistical Applications
$109.99
Knowledge Science, Engineering and Management
$39.99
Biologically Inspired Cognitive Architectures 2021
$249.99
The Secret Agent
$4.49
Religious Internationals in the Modern World
$109.99
Law and Democracy in Neil MacCormick's Legal and Political Theory
$129.00
Projektmanagement als Fhrungskonzept
$39.99
Non-Pharmacological Interventions
$54.99
Nature Driven Urbanism
$199.99
Biotechnology of Silk
$129.00
Optimale Gestaltung von Fondsfamilien
$69.99
Dynamics of Adsorptive Systems for Heat Transformation
$54.99
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Product
$39.99
Einfhrung in die Dynamik
$59.99
