An edition of Computer Aided Verification
(1997)
Computer Aided Verification
9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science)
1 edition
by Orna Grumberg
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Computer software, verification, Computer software, Congresses, Verification, Integrated circuits, Electronic digital computers, Evaluation, Circuits intégrés, Congrès, Vérification, Logiciels, Verificatie, Software, Ingénierie assistée par ordinateur, Conception assistée par ordinateur, Système informatique, Vérification de logiciels, Vérification formelle| Edition | Availability |
|---|---|
1
Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science)
July 11, 1997, Springer
Paperback
in English
- 1 edition
3540631666 9783540631668
|
aaaa
|
Book Details
First Sentence
"Formal verification of hardware design is rapidly becoming accepted as an alternative to the traditional strategy of verification via simulation."
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| January 26, 2022 | Edited by ImportBot | import existing book |
| October 5, 2021 | Edited by ImportBot | import existing book |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 10, 2009 | Created by WorkBot | add works page |