TY - BOOK AU - Roth, J. Paul TI - COMPUTER LOGIC, TESTING AND VERIFICATION U1 - 621.38195835 PY - 1980/// CY - Maryland PB - Computer Science Press KW - Logic Circuits -- Logic Design ER -