Check nearby libraries
Buy this book
Last edited by Open Library Bot
April 24, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science)
July 18, 1995, Springer
Paperback
in English
- 1 edition
3540600450 9783540600459
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Much of the research in formal hardware verification has focussed on systems having complex control, but relatively simple data operations."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
December 15, 2009 | Edited by WorkBot | link works |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record. |