Computer logic, testing and verification
Roth, J. Paul(John Paul),1922-
London Pitman Rc 1980
Includes bibliographies and index
Electronic digital computers
Logic design.