An edition of Computer aided verification
(2006)
Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science)
1 edition
by Thomas Ball and Jones, Robert B.
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science)
September 25, 2006, Springer
Paperback
in English
- 1 edition
354037406X 9783540374060
|
aaaa
Libraries near you:
WorldCat
|
2
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
2006, Springer London, Limited
in English
3540374116 9783540374114
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Source records
amazon.com recordLibrary of Congress MARC record
Library of Congress MARC record
Library of Congress MARC record
Library of Congress MARC record
Internet Archive item record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record
Promise Item
harvard_bibliographic_metadata record
Community Reviews (0)
Feedback?
History
- Created April 30, 2008
- 14 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 19, 2024 | Edited by MARC Bot | import existing book |
| January 7, 2024 | Edited by ImportBot | import existing book |
| December 30, 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 |