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: Reading, Mass. : Addison-Wesley, 1993.
Materias:
LOGICA MATEMATICA
PROGRAMACION (MATEMATICAS)
PROGRAMACION (COMPUTADORES ELECTRONICOS)
LOGICA SIMBOLICA
Aporte de:Registro referencial: Solicitar el recurso aquí
Bibliotecas (UNLPam) de Universidad Nacional de La Pampa
Descripción
Notas:A one volume version of "The logical basis for computer programming".
Descripción Física:717 p. ; 24 cm.
ISBN:AR-SrUBC

Ejemplares similares