LEADER 00920cam0-2200337---450- 001 990004389900403321 005 20100416130827.0 010 $a0-19-922395-5 035 $a000438990 035 $aFED01000438990 035 $a(Aleph)000438990FED01 035 $a000438990 100 $a19990604d1999----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $aa-------001yy 200 1 $aGreek science$fby T. E. Rihll 210 $aOxford$cOxford University press$d1999 215 $aXII, 163 p.$cill.$d24 cm 225 1 $aGreece & Rome$enew surveys in the classics$v29 610 0 $aScienze$aGrecia antica 676 $a938 676 $a509.38$v21$zita 700 1$aRihll,$bTracey Elizabeth$0176613 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004389900403321 952 $a938 RIH 1$bbibl.$fFLFBC 959 $aFLFBC 996 $aGreek science$9305026 997 $aUNINA LEADER 02843nam 2200565 450 001 9910814689803321 005 20230207220209.0 010 $a0-567-57092-4 035 $a(CKB)3710000000109362 035 $a(EBL)1644264 035 $a(SSID)ssj0001321568 035 $a(PQKBManifestationID)11886325 035 $a(PQKBTitleCode)TC0001321568 035 $a(PQKBWorkID)11373437 035 $a(PQKB)11227533 035 $a(MiAaPQ)EBC1644264 035 $a(Au-PeEL)EBL1644264 035 $a(CaPaEBR)ebr10866891 035 $a(CaONFJC)MIL615922 035 $a(OCoLC)893336419 035 $a(EXLCZ)993710000000109362 100 $a20000414d2000 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aPlanning and the political market $epublic choice and the politics of government failure /$fMark Pennington 210 1$aLondon ;$aNew Brunswick, NJ :$cAthlone Press,$d2000. 215 $a1 online resource (232 p.) 300 $aDescription based upon print version of record. 311 $a0-485-00406-2 320 $aIncludes bibliographical references and index. 327 $aCover; Contents; List of Figures; List of Tables; List of Acronyms; Acknowledgements; 1 Planning and the Political Market: The Rise of Public Choice Theory; 2 The Impact of Planning; 3 Interest Groups, Collective Action and Planning; 4 Budgets, Bureaucrats and Planning; 5 Planning and the Political Market: Voter-Centred versus Special-Interest Explanations; 6 Planning and the Politics of Growth; 7 Land Use Planning: Public or Private Choice?; Notes; Bibliography; Index; A; B; C; D; E; F; G; H; I; J; L; M; N; O; P; Q; R; S; T; U; V; W; Y; Z 330 $aPlanning and the Political Market argues that the enthusiasm for planning as an essential component of environmental protection is misplaced. Drawing on the experience of Britain and other Western democracies, the author uses public choice theory to explore the practical experience of land use planning as an example of government failure. The book opens by outlining the institutional focus of public choice theory, examining the central questions of market and government failure and the theoretical case for government intervention in the environment. Having explored the principal impacts of pl 606 $aSocial choice$zGreat Britain 606 $aLand use$zGreat Britain$xPlanning 606 $aPressure groups$zGreat Britain 615 0$aSocial choice 615 0$aLand use$xPlanning. 615 0$aPressure groups 676 $a333.73/17/0941 700 $aPennington$b Mark$01593477 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910814689803321 996 $aPlanning and the political market$93913631 997 $aUNINA LEADER 03899nam 22007695 450 001 9910349435403321 005 20251225203558.0 010 $a9783319929941 010 $a3319929941 024 7 $a10.1007/978-3-319-92994-1 035 $a(CKB)3810000000358660 035 $a(DE-He213)978-3-319-92994-1 035 $a(MiAaPQ)EBC6287859 035 $a(PPN)229494331 035 $a(EXLCZ)993810000000358660 100 $a20180601d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTests and Proofs $e12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /$fedited by Catherine Dubois, Burkhart Wolff 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XIV, 185 p. 48 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10889 311 08$a9783319929934 311 08$a3319929933 327 $aTests from Witnesses: Execution-Based Validation of Verification Results -- An Approximation-based Approach for the Random Exploration of large models -- Static and Dynamic Verification of Relational Properties on Self-Composed C Code -- Under-Approximation Generation Driven by Relevance Predicates and variants -- Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties -- Tactic Program-based Testing and Bounded Verification in Isabelle/HOL -- Verification Coverage for Combining Test and Proof -- Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report -- Formalizing (Web) Standards: An Application of Test and Proof. 330 $aThis book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v10889 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aData protection 606 $aComputer science 606 $aMachine theory 606 $aComputers 606 $aProfessions 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aData and Information Security 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aThe Computing Profession 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aData protection. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputers. 615 0$aProfessions. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aData and Information Security. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aThe Computing Profession. 676 $a004 702 $aDubois$b Catherine$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWolff$b Burkhart$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349435403321 996 $aTests and Proofs$92841686 997 $aUNINA