LEADER 03214nam 22006973u 450 001 9910451309403321 005 20210114194810.0 010 $a1-134-87154-6 010 $a1-280-35488-7 010 $a0-203-42192-2 035 $a(CKB)1000000000255916 035 $a(EBL)178456 035 $a(OCoLC)277579746 035 $a(SSID)ssj0000265821 035 $a(PQKBManifestationID)11245060 035 $a(PQKBTitleCode)TC0000265821 035 $a(PQKBWorkID)10295779 035 $a(PQKB)11493769 035 $a(MiAaPQ)EBC178456 035 $a(EXLCZ)991000000000255916 100 $a20130418d2013|||| u|| | 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aUrban Policy in Practice$b[electronic resource] 210 $aHoboken $cTaylor and Francis$d2013 215 $a1 online resource (347 p.) 300 $aDescription based upon print version of record. 311 $a0-415-09299-X 327 $aFront Cover; Urban Policy in Practice; Copyright Page; Contents; List of figures; List of tables; Preface; Acknowledgements; List of abbreviations; Part I:Urban policy and the state; 1. The Scope and Purposes of UrbanPolicy; 2. Urban Policy and LocalGovernment; 3. Urban Policy and CentralGovernment; 4. Paying for LocalServices; Part II:Approaches to urban policy; 5. Management ofQuality; 6. CommunityDevelopment; 7. Urban Policy andResearch; Part III:Key goals for urban policy; 8. Education, Training and the LocalEconomy; 9. Sustainable UrbanPolicy; 10. Health forAll 327 $aPart IV:Issues for urban policy in the 1990s11. Issues for Urban Policy in the1990s; Appendices; Bibliography; Index 330 $aUrban Policy and Practice is a practical and critical guide to urban policy in contemporary Britain. The book covers a range of topics including: * Quality and consumerism in the public sector * Community development * Public Health * Environmental issues * Local intervention in the creation of skills and jobs Case studies are drawn from housing, planning, the social services, economic development, and local government finance. Throughout, the concern is for a clear analysis of corporate strategies, democratic control and sustainable development. 606 $aMunicipal government 606 $aUrban policy 606 $aUrban policy--Great Britain 606 $aUrban policy$zGreat Britain 606 $aMunicipal government$zGreat Britain 606 $aCommunities - Urban Groups$2HILCC 606 $aSociology & Social History$2HILCC 606 $aSocial Sciences$2HILCC 608 $aElectronic books. 615 4$aMunicipal government. 615 4$aUrban policy. 615 4$aUrban policy--Great Britain. 615 0$aUrban policy 615 0$aMunicipal government 615 7$aCommunities - Urban Groups 615 7$aSociology & Social History 615 7$aSocial Sciences 676 $a307.76/0941 676 $a307.760941 700 $aBlackman$b Tim$0275364 801 0$bAU-PeEL 801 1$bAU-PeEL 801 2$bAU-PeEL 906 $aBOOK 912 $a9910451309403321 996 $aUrban Policy in Practice$92067641 997 $aUNINA LEADER 03492nam 22005535 450 001 996550560203316 005 20230809082341.0 010 $a3-031-40436-X 024 7 $a10.1007/978-3-031-40436-8 035 $a(MiAaPQ)EBC30736084 035 $a(CKB)28162831200041 035 $a(Au-PeEL)EBL30736084 035 $a(DE-He213)978-3-031-40436-8 035 $a(PPN)272734004 035 $a(EXLCZ)9928162831200041 100 $a20230809d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTheories of Programming and Formal Methods$b[electronic resource] $eEssays Dedicated to Jifeng He on the Occasion of His 80th Birthday /$fedited by Jonathan P. Bowen, Qin Li, Qiwen Xu 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (417 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14080 311 $a9783031404351 327 $aJifeng He?s Research Influence -- Oxford Colleagues -- ProCoS Colleagues -- Chinese Colleagues -- European Colleagues -- The Future Roadmap. 330 $aThis Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. The first paper in the volume provides an overview of Jifeng?s research contributions, especially in the area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng?s recent roadmap for UTP. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14080 606 $aSoftware engineering 606 $aComputer science 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a004.0151 700 $aBowen$b Jonathan P$01429202 701 $aLi$b Qin$01429203 701 $aXu$b Qiwen$01429204 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996550560203316 996 $aTheories of Programming and Formal Methods$93567850 997 $aUNISA