Roth, John Paul Computer logic, testing and verification - London Pitman 1980 - xx,176 p. - Digital System Design Series . ISBN: 0273084755 Subjects--Topical Terms: ENGINEERING Dewey Class. No.: 621.381958 / ROT