TY  - BOOK
AU  - Roth,J.Paul
TI  - Computer logic, testing, and verification
SN  - 0914894625 :
AV  - TK7888.4 .R67
U1  - 621.3819/5835 
PY  - 1980///
CY  - Potomac, Md.
PB  - Computer Science Press
KW  - Logic circuits
KW  - Logic design
N1  - Includes bibliographical references and index
ER  -