Introduction to the theory of programming languages /
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | eBook |
Language: | English French |
Published: |
London :
Springer,
c2011.
|
Series: | Undergraduate topics in computer science.
|
Subjects: | |
Online Access: | 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. |
LEADER | 02268Cam#a22004095a#4500 | ||
---|---|---|---|
001 | 028491 | ||
003 | AR-BeUNQ | ||
005 | 20230307095546.0 | ||
007 | ta | ||
007 | cr bn |||auuau | ||
008 | 160302s2011||||enk||||f## #001|0#eng#d | ||
999 | |c 25706 |d 101093 | ||
020 | |a 9780857290755 | ||
040 | |a AR-BeUNQ |b spa |e aacr |c AR-BeUNQ | ||
041 | 1 | |a eng |h fre | |
082 | 0 | 4 | |a 005.131 |2 21 |
100 | 1 | |a Dowek, Gilles. | |
245 | 1 | 0 | |a Introduction to the theory of programming languages / |c Gilles Dowek, Jean-Jacques Lévy. |
260 | |a London : |b Springer, |c c2011. | ||
300 | |a xi, 96 p. ; |c 23 cm. | ||
490 | 1 | |a Undergraduate topics in computer science | |
500 | |a Título original: Introduction à la théorie des langages de programmation. | ||
504 | |a Incluye referencias bibliográficas (p. 93) e índice (p.95-96) | ||
505 | 0 | |a Terms and relations -- The language PCF -- From evaluation to interpretation -- Compilation -- PCF with types -- Type inference -- References and assignment -- Records and objects -- Epilogue | |
530 | |a 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. |u https://search.ebscohost.com/ | ||
594 | |a LICENCIATURA EN DESARROLLO DE SOFTWARE |a LICENCIATURA EN INFORMATICA | ||
595 | |a CARACTERISTICAS DE LENGUAJES DE PROGRAMACION |d 2016 | ||
650 | 7 | |a Lenguajes de programación |2 spines | |
650 | 7 | |a Programación de computadores |2 spines | |
650 | 7 | |a Funciones (matemáticas) |2 spines | |
700 | 1 | |a Lévy, Jean-Jacques. | |
830 | 0 | |a Undergraduate topics in computer science. | |
856 | 4 | 1 | |u https://search.ebscohost.com/ |z 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. |
929 | |a COMPRA |b Ciencia y Técnica |c 1a compra 2015 Exp. 827-0447/15 |d 800,00 |e 20151123 |f PAT0060730 |j 54190 | ||
929 | |a COMPRA |b Ciencia y Técnica |c 1a compra 2015 Exp. 827-0447/15 |d 800,00 |e 20151123 |f PAT0061627 |j 54201 | ||
929 | |a COMPRA |b Ciencia y Técnica |c 1a compra 2015 Exp. 827-0447/15 |d 800,00 |e 20151123 |f PAT0060731 |j 54488 | ||
942 | |c LIB |n 0 |