資源描述:
《introduction to the theory of programming languages (springer, 2011)》由會(huì)員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、UndergraduateTopicsinComputerScienceUndergraduateTopicsinComputerScience(UTiCS)delivershigh-qualityinstructionalcontentforun-dergraduatesstudyinginallareasofcomputingandinformationscience.Fromcorefoundationalandtheoreticalmaterialto?nal-yeartopicsandapplicatio
2、ns,UTiCSbookstakeafresh,concise,andmod-ernapproachandareidealforself-studyorforaone-ortwo-semestercourse.Thetextsareallauthoredbyestablishedexpertsintheir?elds,reviewedbyaninternationaladvisoryboard,andcontainnumer-ousexamplesandproblems.Manyincludefullyworked
3、solutions.Forothervolumes:http://www.springer.com/series/7592GillesDowekJean-JacquesLévyIntroductiontotheTheoryofProgrammingLanguagesGillesDowekJean-JacquesLévyLabo.d’InformatiqueCentredeRechercheCommunécolepolytechniqueINRIA-MicrosoftResearchroutedeSaclayPar
4、cOrsayUniversité91128Palaiseau28rueJeanRostandFrance91893OrsayCedexgilles.dowek@polytechnique.eduFrancejean-jacques.levy@inria.frSerieseditorIanMackieAdvisoryboardSamsonAbramsky,UniversityofOxford,Oxford,UKChrisHankin,ImperialCollegeLondon,London,UKDexterKozen
5、,CornellUniversity,Ithaca,USAAndrewPitts,UniversityofCambridge,Cambridge,UKHanneRiisNielson,TechnicalUniversityofDenmark,Lungby,DenmarkStevenSkiena,StonyBrookUniversity,StonyBrooks,USAIainStewart,UniversityofDurham,Durham,UKTheworkwas?rstpublishedin2006byLesed
6、itionsdel’écolepolytechniquewiththefollowingti-tle:‘Introductionàlathéoriedeslangagesdeprogrammation’.ThetranslatoroftheworkisMaribelFernandez.ISSN1863-7310ISBN978-0-85729-075-5e-ISBN978-0-85729-076-2DOI10.1007/978-0-85729-076-2SpringerLondonDordrechtHeidelber
7、gNewYorkBritishLibraryCataloguinginPublicationDataAcataloguerecordforthisbookisavailablefromtheBritishLibrary?Springer-VerlagLondonLimited2011Apartfromanyfairdealingforthepurposesofresearchorprivatestudy,orcriticismorreview,asper-mittedundertheCopyright,Design
8、sandPatentsAct1988,thispublicationmayonlybereproduced,storedortransmitted,inanyformorbyanymeans,withthepriorpermissioninwritingofthepublish-ers,orinthecaseofreprographicreproductio