The Logical Basis for Computer Programming Volume 2: Deductive Systems /

Gardado en:
Detalles Bibliográficos
Autor Principal: Manna, Zohar (autor)
Outros autores: Waldinger, Richard (autor) (autor)
Formato: Libro
Idioma:inglés
Temas:
Etiquetas: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Descripción
Descrición Física:4642 p.
ISBN:0-201-18261-0