Formal methods for VLSI design : IFIP WG 10.5 lecture notes/
12
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Amsterdam : North-Holland,
1990
|
| Subjects: |
| _version_ | 1826365369331220480 |
|---|---|
| author | Staunstrup, Jorgen |
| author_facet | Staunstrup, Jorgen |
| author_sort | Staunstrup, Jorgen |
| collection | OCEAN |
| description | 12 |
| first_indexed | 2024-03-04T15:03:54Z |
| format | |
| id | KOHA-OAI-TEST:51763 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T15:03:54Z |
| publishDate | 1990 |
| publisher | Amsterdam : North-Holland, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:517632020-12-19T16:58:42ZFormal methods for VLSI design : IFIP WG 10.5 lecture notes/ Staunstrup, Jorgen Amsterdam : North-Holland,199012PSZJBLIntegrated circuitsURN:ISBN:0444888586 |
| spellingShingle | Integrated circuits Staunstrup, Jorgen Formal methods for VLSI design : IFIP WG 10.5 lecture notes/ |
| title | Formal methods for VLSI design : IFIP WG 10.5 lecture notes/ |
| title_full | Formal methods for VLSI design : IFIP WG 10.5 lecture notes/ |
| title_fullStr | Formal methods for VLSI design : IFIP WG 10.5 lecture notes/ |
| title_full_unstemmed | Formal methods for VLSI design : IFIP WG 10.5 lecture notes/ |
| title_short | Formal methods for VLSI design : IFIP WG 10.5 lecture notes/ |
| title_sort | formal methods for vlsi design ifip wg 10 5 lecture notes |
| topic | Integrated circuits |
| work_keys_str_mv | AT staunstrupjorgen formalmethodsforvlsidesignifipwg105lecturenotes |