LEADER 03401nam 22006495 450 001 996465908203316 005 20200701235515.0 010 $a3-642-19583-0 024 7 $a10.1007/978-3-642-19583-9 035 $a(CKB)2670000000076047 035 $a(SSID)ssj0000537430 035 $a(PQKBManifestationID)11352577 035 $a(PQKBTitleCode)TC0000537430 035 $a(PQKBWorkID)10552732 035 $a(PQKB)10053901 035 $a(DE-He213)978-3-642-19583-9 035 $a(MiAaPQ)EBC3066523 035 $a(PPN)151589526 035 $a(EXLCZ)992670000000076047 100 $a20110309d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aHardware and Software: Verification and Testing$b[electronic resource] $e6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /$fedited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (X, 197 p. 51 illus., 13 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v6504 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-19582-2 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon. 410 0$aProgramming and Software Engineering ;$v6504 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.1 702 $aBarner$b Sharon$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHarris$b Ian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKroening$b Daniel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRaz$b Orna$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Haifa Verification Conference 906 $aBOOK 912 $a996465908203316 996 $aHardware and Software, Verification and Testing$9772242 997 $aUNISA LEADER 05025nam 2200697Ia 450 001 9910816489603321 005 20240514073550.0 010 $a1-280-66582-3 010 $a9786613642752 010 $a1-118-23194-5 010 $a1-118-38156-4 010 $a1-118-23205-4 035 $a(CKB)2670000000152874 035 $a(SSID)ssj0000632197 035 $a(PQKBManifestationID)11441964 035 $a(PQKBTitleCode)TC0000632197 035 $a(PQKBWorkID)10609065 035 $a(PQKB)10598549 035 $a(SSID)ssj0001142486 035 $a(PQKBManifestationID)12533173 035 $a(PQKBTitleCode)TC0001142486 035 $a(PQKBWorkID)11097307 035 $a(PQKB)11575910 035 $a(MiAaPQ)EBC821895 035 $a(Au-PeEL)EBL821895 035 $a(CaPaEBR)ebr10538649 035 $a(CaONFJC)MIL364275 035 $a(OCoLC)779385664 035 $a(PPN)242276547 035 $a(EXLCZ)992670000000152874 100 $a20111202d2012 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAs free and as just as possible $ethe theory of Marxian liberalism /$fJeffrey Reiman 205 $a1st ed. 210 $aChichester ;$aMalden, MA $cWiley-Blackwell$d2012 215 $axiv, 241 p 225 1 $aBlackwell public philosophy ;$v12 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-118-72038-5 311 $a0-470-67412-1 320 $aIncludes bibliographical references and index. 327 $aIntro -- As Free and as Just as Possible: The Theory of Marxian Liberalism -- Contents -- List of Abbreviations -- Preface -- 1: Overview of the Argument for Marxian Liberalism -- 2: Marx and Rawls and Justice -- 2.1 Marx's Theory of Capitalism and Its Ideology -- 2.2 Rawls's Theory of Justice as Fairness -- 2.3 Rawls on Marx -- 2.4 Marx and Justice -- 2.5 Marxian Liberalism's Historical Conception of Justice -- 3: The Natural Right to Liberty and the Need for a Social Contract -- 3.1 A Lockean Argument for the Right to Liberty -- 3.2 Our Rational Moral Competence -- 3.3 From Liberty to Lockean Contractarianism -- 4: The Ambivalence of Property: Expression of Liberty and Threat to Liberty -- 4.1 Locke, Nozick, and the Ambivalence of Property -- 4.2 Kant, Narveson, and the Ambivalence of Property -- 4.3 Marx and the Structural Coerciveness of Property -- 5: The Labor Theory of the Difference Principle -- 5.1 The Moral Version of the Labor Theory of Value -- 5.2 The Labor Theory of the Difference Principle -- 5.3 Finding a Just Distribution -- 5.4 Is the Difference Principle Biased? -- 5.5 Answering Narveson and Cohen on Incentives -- 6: The Marxian-Liberal Original Position -- 6.1 Property and Subjugation -- 6.2 The Limits of Property -- 6.3 The Marxian Theory of the Conditions of Liberty -- 6.4 Inside the Marxian-Liberal Original Position -- 6.5 The Difference Principle as a Historical Principle of Justice -- 7: As Free and as Just as Possible: Capitalism for Marxists, Communism for Liberals -- 7.1 The Just State -- 7.2 Capitalism for Marxists -- 7.3 The Marxian-Liberal Ideal: Property-Owning Democracy -- 7.4 Communism for Liberals -- Conclusion: Marx's "Liberalism," Rawls's "Labor Theory of Justice" -- Index. 330 $aA lucid analysis of Rawlsian liberalism and Marxian theory that shows the strengths and limits of each. This would be enough to make the book essential reading, but the author goes on to provide a robust defense of Marxian Liberalism: an imaginative blend of the right to liberty with the Marxist critique of private property. -Howard McGary, Rutgers University Reiman's exciting new book challenges the thinking of political philosophers on both left and right. Reiman argues that Marx's critique of the injustice and domination endemic to capitalism must be combined with the commitment to individual freedom which is the core value of liberalism. The book provides impressively clear and accessible discussions of sophisticated philosophical ideas. It is simultaneously a solid, original, and timely contribution to political philosophy and a good candidate for an undergraduate textbook. -Alison M. Jaggar, University of Colorado at Boulder "?the distinctions, concepts, and arguments Reiman develops in As Free and as Just as Possible are of great significance. They need to be studied and discussed by all those interested in Marx and justice, the real conditions of freedom, Rawls, and post-capitalism." -Paul Warren, Social Theory and Practice. 410 0$aBlackwell public philosophy ;$v12. 606 $aLiberalism$xPhilosophy 606 $aPhilosophy, Marxist 615 0$aLiberalism$xPhilosophy. 615 0$aPhilosophy, Marxist. 676 $a335.401 700 $aReiman$b Jeffrey H$0958103 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910816489603321 996 $aAs free and as just as possible$94077391 997 $aUNINA