資源描述：
《foundations of programming languages (springer, 2014)》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、UndergraduateTopicsinComputerScienceKent?D.?LeeFoundationsofProgrammingLanguagesUndergraduateTopicsinComputerScienceUndergraduateTopicsinComputerScience(UTiCS)delivershigh-qualityinstructionalcontentforundergraduatesstudyinginallareasofcomputingandinformationscience.Fromcorefoun
2、dationalandtheoreticalmaterialto?nal-yeartopicsandapplications,UTiCSbookstakeafresh,concise,andmodernapproachandareidealforself-studyorforaone-ortwo-semestercourse.Thetextsareallauthoredbyestablishedexpertsintheir?elds,reviewedbyaninternationaladvisoryboard,andcontainnumerousexa
3、mplesandproblems.Manyincludefullyworkedsolutions.Moreinformationaboutthisseriesathttp://www.springer.com/series/7592KentD.LeeFoundationsofProgrammingLanguages123KentD.LeeLutherCollegeDecorah,IAUSASerieseditorIanMackieAdvisoryBoardSamsonAbramsky,UniversityofOxford,Oxford,UKKarinB
4、reitman,Ponti?calCatholicUniversityofRiodeJaneiro,RiodeJaneiro,BrazilChrisHankin,ImperialCollegeLondon,London,UKDexterKozen,CornellUniversity,Ithaca,USAAndrewPitts,UniversityofCambridge,Cambridge,UKHanneRiisNielson,TechnicalUniversityofDenmark,KongensLyngby,DenmarkStevenSkiena,S
5、tonyBrookUniversity,StonyBrook,USAIainStewart,UniversityofDurham,Durham,UKISSN1863-7310ISSN2197-1781(electronic)UndergraduateTopicsinComputerScienceISBN978-3-319-13313-3ISBN978-3-319-13314-0(eBook)DOI10.1007/978-3-319-13314-0LibraryofCongressControlNumber:2014956497SpringerChamH
6、eidelbergNewYorkDordrechtLondon?SpringerInternationalPublishingSwitzerland2014Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthematerialisconcerned,speci?callytherightsoftranslation,reprinting,reuseofillustrations,recitation,broadcasting,r
7、eproductiononmicro?lmsorinanyotherphysicalway,andtransmissionorinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknownorhereafterdeveloped.Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispu
8、blicationdoesnotimply,evenintheabsenceofaspeci?
