Computer logic, testing, and verification /

Na minha lista:
Detalhes bibliográficos
Autor principal: Roth, J. Paul (John Paul), 1922-
Outros Autores: Beasley, Pamela, Dawson, John L M.
Formato: Livro
Idioma:English
Publicado em: Potomac, Md. : Computer Science Press, c1980.
coleção:Digital system design series
Assuntos:
Descrição
Descrição Física:xx, 176 p. : ill. ; 24 cm.
Bibliografia:Includes bibliographical references and index.
ISBN:0914894625 :