Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Lecture Notes in Computer Science, 6538)
Language: English
Published by Springer, 2011
- Softcover
- Used
Seller: Solr Books, Lincolnwood, IL, U.S.A.Solr Books
AbeBooks seller since April 23, 2015
Condition: Used - Very good
US$ 163.70
Quantity: 1 available
Add to basketItem description from seller
This book is in Very good condition. There may be a few flaws like shelf wear and some light wear.
Seller Inventory # BCV.3642182747.VG
- Title
- Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Lecture Notes in Computer Science, 6538)
- Publisher
- Springer
- Publication year
- 2011
- Condition
- very_good
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3642182747
- ISBN 13
- 9783642182747
"Synopsis" may belong to another edition of this title.
From the Back Cover
This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011.
The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
"About the title" may belong to another edition of this title.
Solr Books
Lincolnwood, IL, U.S.A.
AbeBooks seller since April 23, 2015
Shipping rates within U.S.A.
| Item | 2 to 12 business days | 1 to 3 business days |
|---|---|---|
| First item | US$ 7.98 | US$ 18.99 |
Payment methods
Store description
Welcome to the Solr Books & Books4Cause AbeBooks page! We are a social venture dedicated to supporting social causes, education, and community through a business model. Books4Cause doesn’t raise funds or rely on government grants. All of our funding comes from selling a portion of used books donated to us. Our main goal is to recirculate books back into the hands of people who will read and treasure them. We support both local and global initiatives. Through partnering with the African Library Project, we have built over 120 libraries in nursery schools, elementary schools, high schools, and universities across 18 countries in Africa. Our pop-up free library program in Chicago distributes free books in under-served neighborhoods throughout the city, giving necessary resources to children, adults, and families who otherwise may not have been able to access them. For more information on what we do, or how you can help, go to books4cause.com…
Specialty
all kinds of booksSeller's business information
Solr Books
IL, U.S.A.
Terms of sale
We guarantee the condition of every book as it's described on the Abebooks web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a refund
within 30 days of the estimated delivery date. If you've changed your mind about a
book that you've ordered, please use the Ask bookseller a question link to contact
us and we'll respond within 2 business days.
Shipping terms
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.