Logic for applications /

Guardat en:
Dades bibliogràfiques
Autor principal: Nerode, Anil
Altres autors: Shore, Richard A.
Format: Llibre
Idioma:anglès
Publicat: New york : Springer-Verlag, 1997.
Edició:2nd ed.
Col·lecció:Graduate texts in computer science
Matèries:
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Descripció
Descripció física:456 P. ; 25 cm.
Bibliografia:Includes bibliographical references and index.
ISBN:0387948937