The deductive foundations of computer programming /

Mostrar otras versiones (1)
Guardado en:
Detalles Bibliográficos
Autor principal: Manna, Zohar
Otros Autores: Waldinger, Richard
Formato: Libro
Lenguaje:Inglés
Publicado: Massachusetts : Addison-Wesley, 1993
Materias:
Computación
Lógica matemática
Programación de computadoras
Lógica simbólica
Aporte de:Registro referencial: Solicitar el recurso aquí
Sistema de Bibliotecas de la UNICEN de Universidad Nacional del Centro
Descripción
Descripción Física:717 p. 23 cm
ISBN:0201548860

Ejemplares similares