000 00644nam a2200205#a 4500
001 0000016304
008 211117s2020||||xx |||||||||||||| ||und||
020 _a0387255435
082 _a621.3815 MIN 2006
100 _aMintz
245 0 _aHardware verification with C++ : a practitioner's handbook
_c/ Mike Mintz, Robert Ekendahl.
260 _aNew York
_bSpringer Science+Business Media
_c2006.
300 _axviii, 341p.
_bill.
_c26cm + 1 CD-ROM (4 3/4in.)
365 _cMYR
500 _aIncludes index p.(327) - 341
650 _aIntegrated circuits
_xVerification
700 _aEkendahl, Robert
942 _cBK-GN
999 _c46582
_d46582