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
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
2005, Springer
in English
3540291059 9783540291053
|
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?
History
- Created October 15, 2008
- 9 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| December 31, 2022 | Edited by MARC Bot | import existing book |
| December 3, 2022 | Edited by ImportBot | import existing book |
| February 25, 2022 | Edited by ImportBot | import existing book |
| December 14, 2020 | Edited by MARC Bot | import existing book |
| October 15, 2008 | Created by ImportBot | Imported from Oregon Libraries MARC record |