Roth, John Paul. Computer logic, testing and verification - Potomac, Md. : Computer Science, 1980 - 176 p. - Digital system desing series . - Digital system desing series . LCCN: 53237 Subjects--Topical Terms: Circuitos lógicos.Diseño lógico. Dewey Class. No.: 001.6424 / R6