An edition of Correct hardware design and verification methods
(2005)
Correct hardware design and verification methods
13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings
by CHARME 2005 (2005 Saarbrüchen, Germany)
- 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
Congresses, Integrated circuits, Very large scale integration, Verification, Computer-aided design, TECHNOLOGY & ENGINEERING, Essai technique, Circuit integre a tres grande echelle, Circuits, COMPUTERS, Circuits integres a tres grande echelle, Logic Design, VLSI & ULSI, Conception assistee par ordinateur, Circuit integre, Logic, Congres, Electronics, Informatique, Model-checking (Informatique), Verification formelle, Circuits integres, Integrated circuits, very large scale integrationShowing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibiographical references and index.
Also issued online.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| February 25, 2022 | Edited by ImportBot | import existing book |
| July 4, 2018 | Edited by ImportBot | import new book |
| January 23, 2010 | Edited by WorkBot | add more information to works |
| December 11, 2009 | Created by WorkBot | add works page |