introduction to operating system design and implementation - the osp 2 approach (springer, 2007)

《introduction to operating system design and implementation - the osp 2 approach (springer, 2007)》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、UndergraduateTopicsinComputerScienceUndergraduateTopicsinComputerScience(UTiCS)delivershigh-qualityinstructionalcontentforundergraduatesstudyinginallareasofcomputingandinformationscience.Fromcorefoundationalandtheoreticalmaterialtofinal-yeartopicsandapplications,UTiCSbookstakeafresh,concise

2、,andmodernapproachandareidealforself-studyorforaone-ortwo-semestercourse.Thetextsareallauthoredbyestablishedexpertsintheirfields,reviewedbyaninternationaladvisoryboard,andcontainnumerousexamplesandproblems.Manyincludefullyworkedsolutions.AlsointhisseriesIainD.CraigObject-OrientedProgramming

3、Languages:Interpretation978-1-84628-773-2MaxBramerPrinciplesofDataMining978-1-84628-765-7HanneRiisNielsonandFlemmingNielsonSemanticswithApplications:AnAppetizer978-1-84628-691-9MichaelKiferandScottA.SmolkaIntroductiontoOperatingSystemDesignandImplementationTheOSP2ApproachMichaelKifer,PhDSc

4、ottA.Smolka,PhDStateUniversityofNewYorkStateUniversityofNewYorkatStonyBrook,NY,USAatStonyBrook,NY,USASerieseditorIanMackieÉcolePolytechnique,FranceandKing’sCollegeLondon,UKAdvisoryboardSamsonAbramsky,UniversityofOxford,UKChrisHankin,ImperialCollegeLondon,UKDexterKozen,CornellUniversity,USA

5、AndrewPitts,UniversityofCambridge,UKHanneRiisNielson,TechnicalUniversityofDenmark,DenmarkStevenSkiena,StonyBrookUniversity,USAIainStewart,UniversityofDurham,UKDavidZhang,TheHongKongPolytechnicUniversity,HongKongBritishLibraryCataloguinginPublicationDataAcataloguerecordforthisbookisavailabl

6、efromtheBritishLibraryLibraryofCongressControlNumber:2007926598UndergraduateTopicsinComputerScienceISSN1863-7310ISBN978-1-84628-842-5e-ISBN978-1-84628-843-2Printedonacid-freepapercSpringer-VerlagLondonLimited2007Apartfromanyfairdealingforthepurposesofresearchorprivatestudy,orcriticismorre

7、view,aspermittedundertheCopyright,DesignsandPatentsAct1988,thispublicationmayonlybereproduced,storedortransmitted,inanyformorbyanymeans,withthepriorpermissioninwritingofthepublishers,orinthecaseofreprographicreproductioninaccordancewiththetermsoflicencesissued