资源描述：
《programming language concepts (springer, 2012)》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、UndergraduateTopicsinComputerScienceUndergraduateTopicsinComputerScience(UTiCS)delivershigh-qualityinstructionalcontentforun-dergraduatesstudyinginallareasofcomputingandinformationscience.Fromcorefoundationalandtheoreticalmaterialtofinal-yeartopicsandapplications,UTiCSbookstakeafresh,conc
2、ise,andmod-ernapproachandareidealforself-studyorforaone-ortwo-semestercourse.Thetextsareallauthoredbyestablishedexpertsintheirfields,reviewedbyaninternationaladvisoryboard,andcontainnumer-ousexamplesandproblems.Manyincludefullyworkedsolutions.Forfurthervolumes:http://www.springer.com/seri
3、es/7592PeterSestoftProgrammingLanguageConceptsPeterSestoftITUniversityofCopenhagenCopenhagen,DenmarkSerieseditorIanMackieAdvisoryboardSamsonAbramsky,UniversityofOxford,Oxford,UKKarinBreitman,PontiÞcalCatholicUniversityofRiodeJaneiro,RiodeJaneiro,BrazilChrisHankin,ImperialCollegeLondon,Lo
4、ndon,UKDexterKozen,CornellUniversity,Ithaca,USAAndrewPitts,UniversityofCambridge,Cambridge,UKHanneRiisNielson,TechnicalUniversityofDenmark,KongensLyngby,DenmarkStevenSkiena,StonyBrookUniversity,StonyBrook,USAIainStewart,UniversityofDurham,Durham,UKISSN1863-7310UndergraduateTopicsinComput
5、erScienceISBN978-1-4471-4155-6ISBN978-1-4471-4156-3(eBook)DOI10.1007/978-1-4471-4156-3SpringerLondonHeidelbergNewYorkDordrechtLibraryofCongressControlNumber:2012941284©Springer-VerlagLondon2012Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthemater
6、ialisconcerned,speciÞcallytherightsoftranslation,reprinting,reuseofillustrations,recitation,broadcasting,reproductiononmicroÞlmsorinanyotherphysicalway,andtransmissionorinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknownorhereaf
7、terdeveloped.ExemptedfromthislegalreservationarebriefexcerptsinconnectionwithreviewsorscholarlyanalysisormaterialsuppliedspeciÞcallyforthepurposeofbeingenteredandexecutedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublicationorpartsthereofisp
