The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" /

Guardado en:
Autor Principal: Manna, Zohar.
Otros Autores: Waldinger, Richard.
Formato: Libro
Idioma:English
Publicado: Reading, Mass. : Addison-Wesley, c1993.
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
descripción de la copia:Versión condensada y simplificada de la obra original.
Descripción Física:xiv, 717 p. ; 24 cm.
Bibliografía:Incluye referencias bibliográficas (p. [673]-677) e índices.
ISBN:0201548860