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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Do You Like My Bike?: An Acorn Book (Hello, Hedgehog! #1)
$4.49
Boundaries of a Complex World
$99.00
Recent Developments in General Relativity
$169.99
Messung der Dichte und der magnetischen Suszeptibilitt von Zinn-Zink-Legierungen
$59.99
Grundlagen der Architekturtheorie
$69.99
Working in Language and Law
$84.99
The Shakespeare User
$119.99
Die Immunittsforschung
$59.99
Islamic Finance and Global Capitalism
$109.99
Composite Materials Processing Using Microwave Heating Technology
$129.00
Wissens- und Technologietransfer an Universitten
$79.99
Passing the General Surgery Oral Board Exam
$129.99
Farbprferenzen bei Stachellosen Bienen und Hummeln
$59.99
Imaging of Hypoxia
$169.99
Key Qualifications in Work and Education
$109.99
Innere Sicherheit
$29.99
Das Geschlecht bin ich
$59.99
Case Studies in Bayesian Statistics
$109.99
Der kranke Mensch
$74.99
Genomic Designing for Abiotic Stress Resistant Pulse Crops
$219.99
Gallopamil
$59.99
Proceedings of 2nd International Conference on Smart Computing and Cyber Security
$299.99
Fundamentals of Java Programming
$84.99
Social Preference, Institution, and Distribution
$54.99
Artificial Intelligence, Big Data and Data Science in Statistics
$199.99
Serious Games: The Challenge
$54.99
Finance: Servant or Deceiver?
$39.99
Transformations of a Genre
$89.00
Profit Shifting and Tax Base Erosion
$109.99
Corporate Training for Effective Performance
$109.99
The Grothendieck Festschrift, Volume III
$139.99
Sicherheitsaspekte in der Informationstechnik
$69.99
The Challenge of Change in EU Business Associations
$109.99
Re-Formulierung des Privaten
$64.99
Issues in Theoretical Diversity
$84.99
Numerik und Anwendungen von Eigenwertaufgaben und Verzweigungsproblemen
$49.99
Signal Processing in Medicine and Biology
$119.99
Molecular Liquids
$39.99
Smart Economy in Smart Cities
$329.99
Securitization and the Global Economy
$129.99
