Programming languages theory and its implementation : applicative and imperative paradigms

Gordon, Michael J.C.

Programming languages theory and its implementation : applicative and imperative paradigms - 1st ed. - Nueva York : [S.n.], 1988 - xiv, 255 p. ; 25 cm. - Prentice Hall International series in computer science .

Incluye bibliografía.

0137304099

DIF-M409


LENGUAJES DE PROGRAMACIÓN
DEFINICIONES FORMALES Y TEORÍA
LENGUAJES FORMALES
LÓGICA MATEMÁTICA
LÓGICA Y SIGNIFICADO DE LOS PROGRAMAS
PROGRAMACIÓN FUNCIONAL
CORRECCIÓN DE PROGRAMAS
VERIFICACIÓN DE PROGRAMAS