An edition of Verification, Model Checking, and Abstract Interpretation (vol. # 3855)
(2006)
Verification, Model Checking, and Abstract Interpretation
7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science)
1 edition
by Kedar S. Namjoshi
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science)
February 10, 2006, Springer
Paperback
in English
- 1 edition
3540311394 9783540311393
|
aaaa
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
History
- Created April 30, 2008
- 11 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| April 21, 2025 | Edited by ImportBot | Redacting ocaids |
| February 7, 2025 | Edited by MARC Bot | import existing book |
| December 29, 2022 | Edited by MARC Bot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |