Formal methods for VLSI design : IFIP WG 10.5 lecture notes /
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam :
Elsevier Science Publishers B.V.,
1990.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Item Description: | Written for the international summer school organized by the Computer Science Dept. of the Technical University of Denmark and held in June 1990. |
|---|---|
| Physical Description: | 329 p. : ill. ; 24 cm. |
| ISBN: | 0444888586 |