000 00289nam a22001217a 4500
020 _a0-914894-62-5
082 _a621.38195853 ROT'C
100 _aROTH, J. PAUL
_976265
245 _aCOMPUTER LOGIC TESTING AND VERIFICATION
260 _aUSA
_bPITMAN
_c1980
300 _a176P
942 _cBK
999 _c581659
_d581659