Programming languages theory and its implementation

Título:

Programming languages theory and its implementation: applicative and imperative paradigms

Autor:

Gordon, Michael J.C.

Temas:

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 ; 

Edición:

1st ed.

Descripción física:

xiv, 255 p. ; 25 cm.

ISBN:

0-13-730409-9

Idioma:

Inglés, 

País:

Estados Unidos

Publicación:

Nueva York, 1988

Nota general:

Incluye bibliografía.

Puede solicitar más fácilmente el ejemplar con: D.3.1 GOR

Ver estantes