Title: Computer logic, testing, and verification
First published: 1980
Subjects: Logic circuits, Logic design
LC classification: TK7888.4 .R67