Logic for applications /

Gardado en:
Detalles Bibliográficos
Autor Principal: Nerode, Anil
Outros autores: Shore, Richard A.
Formato: Libro
Idioma:inglés
Publicado: New york : Springer-Verlag, 1997.
Edición:2nd ed.
Series:Graduate texts in computer science
Subjects:
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!