Computer logic, testing, and verification /

Bibliographic Details
Main Author: Roth, J. Paul (John Paul), 1922-
Format: Book
Language:English
Published: Potomac, Md. : Computer Science Press, [1980]
Series:Digital system design series.
Subjects:
Description
Physical Description:xx, 176 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0914894625 :