LEADER 01488nam 2200325Ia 450 001 996389191003316 005 20200824132216.0 035 $a(CKB)4940000000097535 035 $a(EEBO)2264212041 035 $a(OCoLC)ocm9358538e 035 $a(OCoLC)9358538 035 $a(EXLCZ)994940000000097535 100 $a19830329d1647 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 13$aAn ordinance of the Lords and Commons assembled in Parliament$b[electronic resource] $efor the better security and incouragement of all and every such person and persons, bodies politique and corporate, as already have or hereafter shall become purchaser from trustees of any mannors, lands &c. late belonging to any arch-bishop or bishop within the realm of England or dominion of Wales : and the manner of ensuring the same to the purchaser : with the time limited for the perfecting of their conveyances 210 $aLondon $cPrinted by R. Cotes for John Bellamy$d1647 215 $a8 p 300 $aDated on p.3: Die Jovis 23 September, 1647. 300 $aReproduction of original in the Harvard University Library. 330 $aeebo-0062 607 $aGreat Britain$xPolitics and government$y1642-1649 607 $aGreat Britain$xHistory$yCivil War, 1642-1649 801 0$bEEU 801 1$bEEU 801 2$bWaOLN 906 $aBOOK 912 $a996389191003316 996 $aAn ordinance of the Lords and Commons assembled in Parliament$92298865 997 $aUNISA LEADER 03399nam 22007575 450 001 996465519603316 005 20230329180458.0 010 $a3-642-31113-X 024 7 $a10.1007/978-3-642-31113-0 035 $a(CKB)3400000000085333 035 $a(SSID)ssj0000697544 035 $a(PQKBManifestationID)11482017 035 $a(PQKBTitleCode)TC0000697544 035 $a(PQKBWorkID)10692299 035 $a(PQKB)10101801 035 $a(DE-He213)978-3-642-31113-0 035 $a(MiAaPQ)EBC3071029 035 $a(PPN)168318504 035 $a(EXLCZ)993400000000085333 100 $a20120620d2012 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMathematics of Program Construction$b[electronic resource] $e11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings /$fedited by Jeremy Gibbons, Pablo Nogueira 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (X, 363 p. 57 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7342 300 $aInternational conference proceedings. 311 $a3-642-31112-1 320 $aIncludes bibliographical references and author index. 330 $aThis book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7342 606 $aComputer science 606 $aMachine theory 606 $aSoftware engineering 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aCompilers (Computer programs) 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aSoftware Engineering 606 $aDiscrete Mathematics in Computer Science 606 $aCompilers and Interpreters 606 $aMathematical Applications in Computer Science 615 0$aComputer science. 615 0$aMachine theory. 615 0$aSoftware engineering. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 0$aCompilers (Computer programs). 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aSoftware Engineering. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aCompilers and Interpreters. 615 24$aMathematical Applications in Computer Science. 676 $a005.1015113 702 $aGibbons$b Jeremy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNogueira$b Pablo$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465519603316 996 $aMathematics of Program Construction$92915783 997 $aUNISA