TY  - BOOK
AU  - Gordon,Michael J.C.
TI  - Programming languages theory and its implementation: applicative and imperative paradigms
T2  - Prentice Hall International series in computer science
SN  - 0137304099
PY  - 1988///
CY  - Nueva York
PB  - [S.n.]
KW  - LENGUAJES DE PROGRAMACIÓN
KW  - DEFINICIONES FORMALES Y TEORÍA
KW  - LENGUAJES FORMALES
KW  - LÓGICA MATEMÁTICA
KW  - LÓGICA Y SIGNIFICADO DE LOS PROGRAMAS
KW  - PROGRAMACIÓN FUNCIONAL
KW  - CORRECCIÓN DE PROGRAMAS
KW  - VERIFICACIÓN DE PROGRAMAS
N1  - Incluye bibliografía
ER  -