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
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
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 formelleShowing 1 featured edition. View all 1 editions?
| 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
Libraries near you:
WorldCat
|
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?
History
- Created April 30, 2008
- 10 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 7, 2024 | Edited by MARC Bot | import existing book |
| January 14, 2023 | Edited by ImportBot | import existing book |
| January 26, 2022 | Edited by ImportBot | import existing book |
| October 5, 2021 | Edited by ImportBot | import existing book |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |