000351513 000__ 01397cam\a2200313Ia\4500
000351513 001__ 351513
000351513 005__ 20210513125929.0
000351513 008__ 100908s2011\\\\enka\\\\\b\\\\001\0\eng\d
000351513 020__ $$a9780857290755 (pbk. : alk. paper)
000351513 020__ $$a0857290754 (pbk. : alk. paper)
000351513 035__ $$a(OCoLC)ocn663950174
000351513 035__ $$a351513
000351513 040__ $$aBTCTA$$beng$$cBTCTA$$dYDXCP$$dCDX$$dBWX$$dOIP$$dTTS
000351513 0411_ $$aeng$$hfre
000351513 049__ $$aISEA
000351513 050_4 $$aQA76.7$$b.D6713 2011
000351513 08204 $$a005.13$$222
000351513 1001_ $$aDowek, Gilles.
000351513 24010 $$aIntroduction à la théorie des langages de programmation.$$lEnglish
000351513 24510 $$aIntroduction to the theory of programming languages /$$cGilles Dowek, Jean-Jacques Lévy.
000351513 260__ $$aLondon ;$$aNew York :$$bSpringer,$$cc2011.
000351513 300__ $$axi, 96 p. :$$bill. ;$$c24 cm.
000351513 440_0 $$aUndergraduate topics in computer science.
000351513 500__ $$a"This work was first published in 2006 by Les editions de l'École polytechnique"--T.p. verso.
000351513 504__ $$aIncludes bibliographical references and index.
000351513 5050_ $$aTerms and relations -- The language PCF -- From evaluation to interpretation -- Compilation -- PCF with types -- Type inference -- References and assignment -- Records and objects -- Epilogue.
000351513 650_0 $$aProgramming languages (Electronic computers)
000351513 650_0 $$aProgramming languages (Electronic computers)$$xSemantics.
000351513 7001_ $$aLévy, Jean-Jacques,$$d1947-
000351513 85200 $$bgen$$hQA76.7$$i.D6713$$i2011
000351513 909CO $$ooai:library.usi.edu:351513$$pGLOBAL_SET
000351513 980__ $$aBIB
000351513 980__ $$aBOOK