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 -