Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Edition | Availability |
---|---|
1
Computer Aided Verification 20th International Conference Cav 2008 Princeton Nj Usa July 714 2008 Proceedings
2008, Springer
3540705430 9783540705437
|
aaaa
|
Book Details
Classifications
ID Numbers
Community Reviews (0)
Feedback?October 4, 2021 | Edited by ImportBot | import existing book |
August 13, 2021 | Edited by MARC Bot | import existing book |
June 29, 2019 | Edited by MARC Bot | import existing book |
October 14, 2016 | Edited by Mek | Added new cover |
October 14, 2016 | Created by Mek | Added new book. |