Title
Computer logic, testing, and verificationCatalog Number
102701044Type
DocumentDescription
Includes bibliographical references and index.Date
1980Author
Roth, J. PaulPublisher
Computer Science PressPlace of Publication
Potomac, Md.Identifying Numbers
LCCN | 79-27230 |
LOC call num | TK7888.4 .R67 |