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
Functional Approach to Professional Discourse Exploration in Linguistics
$44.99
English for Planning and Building Professionals
$84.99
Renewing Cities with Value Capture Planning
$169.99
Investigations on rf breakdown phenomenon in high gradient accelerating structures
$84.99
Advanced Data Analytics in Health
$139.00
Computational Radiology for Orthopaedic Interventions
$54.99
Brazilian Derivatives and Securities
$109.99
Atrial Fibrillation
$54.99
Personalauswahl im Vertrieb
$39.99
Loki
$5.21
Contemporary Views on the Holocaust
$109.99
Non-violent Communication and Narrative Medicine for Promoting Sustainable Health
$109.99
Source Code Optimization Techniques for Data Flow Dominated Embedded Software
$169.00
Organising the Propaganda Instrument: The British Experience
$54.99
Aufgaben aus der Flugzeugstatik
$84.99
Heterogeneous Vehicular Networks
$54.99
Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace
$39.99
EKC 2009 Proceedings of EU-Korea Conference on Science and Technology
$169.00
Tagungsband des 4. Kongresses Montage Handhabung Industrieroboter
$129.99
Digitalization in Finance and Accounting
$189.00
Ausbruch aus der Komplexittsfalle
$49.99
Computer Security
$39.99
Current Concepts in Regional Anaesthesia
$54.99
The Reconstruction of Modality in Chinese-English Government Press Conference Interpreting
$39.99
Advances in Intelligent Informatics
$169.00
Evidence based diagnostics of musculoskeletal disorders in primary care
$49.99
Masters Theses in the Pure and Applied Sciences
$39.99
Rheinisch-Westflische Akademie der Wissenschaften
$69.99
Computational Economics and Finance
$119.00
Towards Sustainable Building
$109.99
Uniform Output Regulation of Nonlinear Systems
$54.99
Grundfragen des Konkordats-Eherechtes
$49.99
e-Democracy
$169.99
A World with Robots
$129.00
Gabby's Dollhouse: MerCat's Cruise Ship
$4.49
Die nationale Variett des plurizentrischen Persisch in Zentralasien
$79.99
After the Shot Drops by Randy Ribay
$15.99
Hydrant-Hydra: A Branches Book (The Binder of Doom #4)
$5.24
Phosphorus in Freshwater Ecosystems
$74.99
Segregation und Eingliederung
$59.99
