An edition of Formal methods for VLSI design
(1990)
Formal methods for VLSI design
IFIP WG 10.5 lecture notes
by J. Staunstrup
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Formal methods for VLSI design: IFIP WG 10.5 lecture notes
1990, North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
in English
0444888586 9780444888587
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references.
Written for the international summer school organized by the Computer Science Dept. of the Technical University of Denmark and held in June 1990.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 1, 2008
- 7 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 27, 2024 | Edited by MARC Bot | import existing book |
| November 11, 2020 | Edited by MARC Bot | import existing book |
| March 13, 2019 | Edited by MARC Bot | import existing book |
| March 11, 2019 | Edited by MARC Bot | import existing book |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |