Introduction to the theory of programming languages / Gilles Dowek, Jean-Jacques Lévy.
Por: Dowek, Gilles.
Colaborador(es): Lévy, Jean-Jacques.
Series Undergraduate topics in computer science: Editor: London : Springer, c2011Descripción: xi, 96 p. ; 23 cm.ISBN: 9780857290755.Tema(s): Lenguajes de programación | Programación de computadores | Funciones (matemáticas)Clasificación CDD: 005.131 Recursos en línea: Para acceder al texto completo, ingrese aquí al Servicio de descubrimiento de EBSCOhost desde la red de la UNQ. Seleccione EBSCOhost Research Databases y busque el título deseado. También disponible en versión pdf en EBSCO. Para acceder al texto completo, ingrese al Servicio de descubrimiento de EBSCOhost desde la red de la UNQ. Seleccione EBSCOhost Research Databases y busque el título deseado.https://search.ebscohost.com/Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento |
---|---|---|---|---|---|
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes SALA | 005.131 DOW (Navegar estantería) | 1 | Disponible | |
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes CIRCULACION | 005.131 DOW (Navegar estantería) | 2 | Prestado | 03.10.2024 |
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes CIRCULACION | 005.131 DOW (Navegar estantería) | 3 | Prestado | 03.10.2024 |
, Ubicación: CIRCULACION Cerrar el navegador de estanterías
005.13 REY Theories of programming languages | 005.13 SEB Concepts of programming languages / | 005.13 TAM Domino 5 web programming withc XML, Java, and JavaScript | 005.131 DOW Introduction to the theory of programming languages / | 005.131 DOW Introduction to the theory of programming languages / | 005.133 DEI Como programar en C/C++ / | 005.133 GOT Programación en C |
Título original: Introduction à la théorie des langages de programmation.
Incluye referencias bibliográficas (p. 93) e índice (p.95-96)
Terms and relations -- The language PCF -- From evaluation to interpretation -- Compilation -- PCF with types -- Type inference -- References and assignment -- Records and objects -- Epilogue
También disponible en versión pdf en EBSCO. Para acceder al texto completo, ingrese al Servicio de descubrimiento de EBSCOhost desde la red de la UNQ. Seleccione EBSCOhost Research Databases y busque el título deseado. https://search.ebscohost.com/
LICENCIATURA EN DESARROLLO DE SOFTWARE LICENCIATURA EN INFORMATICA
CARACTERISTICAS DE LENGUAJES DE PROGRAMACION 2016