An edition of Computer Aided Verification
(1995)
Computer Aided Verification
7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science)
1 edition
by Pierre Wolper
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Last edited by Open Library Bot
April 28, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| 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?
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 11, 2009 | Created by WorkBot | add works page |