Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings ... Computer Science and General Issues) Paperback - 2013 - 2013th Edition
by Giacobazzi, Roberto (Editor) / Berdine, Josh (Editor) / Mastroeni, Isabella (Editor)
- New
- Paperback
A$132.69
A$47.74
Delivery to USA
Standard delivery: 7 to 14 days
More delivery options
Standard delivery: 7 to 14 days
Ships from Revaluation Books (Devon, United Kingdom)
Details
- Title Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings ... Computer Science and General Issues)
- Author Giacobazzi, Roberto (Editor) / Berdine, Josh (Editor) / Mastroeni, Isabella (Editor)
- Binding Paperback
- Edition number 2013th
- Edition 2013
- Condition New
- Pages 556
- Volumes 1
- Language ENG
- Publisher Springer
- Publication date 2013
- Illustrated Yes
- Features Illustrated
- Bookseller's Inventory # x-3642358721
- ISBN 9783642358722 / 3642358721
- Weight 1.74 lbs (0.79 kg)
- Dimensions 9.21 x 6.14 x 1.16 in (23.39 x 15.60 x 2.95 cm)
-
Themes
- Aspects (Academic): Science/Technology Aspects
- Category Computers - General Information
- Dewey Decimal Code 005.14
- Quantity available 2
About Revaluation Books Devon, United Kingdom
Biblio member since 2020
General bookseller of both fiction and non-fiction.
Reader reviews for Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings ... Computer Science and General Issues)
Write a review for this book
Important Terms and Guidelines
- Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
- Reviews must be at least 140 characters in length.
- Please do not reveal critical plot elements.
- This is not a help line. Contact customer support if you need help.
Your review must not include:
- Obscenities, discriminatory language, or other insulting language not suitable for public domain
- Advertisements, “spam” content, or references to other products, offers or websites.
- Email addresses, URLs, phone numbers, physical addresses or other contact information.
- Overly critical comments about other reviews or reviewers
- Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
- Availability, price, or alternative ordering/shipping information
From the rear cover
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.
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.