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