000 00900cam a22002533u 4500
001 10101991
003 upatras
005 20210117203827.0
008 991022s eng
040 _aΒιβλιοθήκη ΕΑΙΤΥ
_cΒιβλιοθήκη ΕΑΙΤΥ
041 0 _aeng
245 1 0 _aVLSI Specification, Verification and Synthesis
260 _aBoston
_bKluwer Academic Publishers
_cc1988
300 _axi, 404p.
_bfig.
490 0 _aKluwer International Series in Engineering and Computer Science
500 _aπεριέχει βιβλιογραφία
650 4 _aINTEGRATED CIRCUITS
_924300
650 4 _aVLSI
_924366
700 1 _aBirtwistle, Graham
_4edt
_97562
700 1 _aSubrahmanyam, P. A.
_4edt
_9116347
760 0 _aKluwer International Series in Engineering and Computer Science
942 _2ddc
999 _c83234
_d83234