LEADER 01461nam 2200337 n 450 001 996385659103316 005 20221107222735.0 035 $a(CKB)1000000000604386 035 $a(EEBO)2240894835 035 $a(UnM)99848595 035 $a(EXLCZ)991000000000604386 100 $a19920114d1569 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 00$aTo the Quenes Maiesties poore deceyued subiectes of the north countrey, drawen into rebellion by the Earles of Northumberland and Westmerland. Written by Thomas Norton. Seen and allowed according to the Quenes iniunctions$b[electronic resource] 210 $a[Imprinted at London $cBy Henrie Bynneman, for Lucas Harrison$dAnno Domini. 1569] 215 $a[56] p 300 $aImprint from colophon. 300 $aSignatures: A-G⁴. 300 $aReproduction of the original in the Henry E. Huntington Library and Art Gallery. 330 $aeebo-0113 607 $aGreat Britain$xHistory$yRebellion of 1569$vEarly works to 1800 700 $aNorton$b Thomas$f1532-1584.$01001069 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996385659103316 996 $aTo the Quenes Maiesties poore deceyued subiectes of the north countrey, drawen into rebellion by the Earles of Northumberland and Westmerland. Written by Thomas Norton. Seen and allowed according to the Quenes iniunctions$92353706 997 $aUNISA LEADER 03523nam 22007815 450 001 9910349397403321 005 20251225205422.0 010 $a9783030024505 010 $a3030024504 024 7 $a10.1007/978-3-030-02450-5 035 $a(CKB)4100000007110727 035 $a(DE-He213)978-3-030-02450-5 035 $a(MiAaPQ)EBC6285360 035 $a(PPN)232470545 035 $a(EXLCZ)994100000007110727 100 $a20181010d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods and Software Engineering $e20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /$fedited by Jing Sun, Meng Sun 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XXII, 474 p. 115 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11232 311 08$a9783030024499 311 08$a3030024490 327 $aFormal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium. 330 $aThis book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11232 606 $aSoftware engineering 606 $aComputer science 606 $aElectronic digital computers$xEvaluation 606 $aComputers 606 $aProfessions 606 $aMachine theory 606 $aComputers, Special purpose 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aSystem Performance and Evaluation 606 $aThe Computing Profession 606 $aFormal Languages and Automata Theory 606 $aSpecial Purpose and Application-Based Systems 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputers. 615 0$aProfessions. 615 0$aMachine theory. 615 0$aComputers, Special purpose. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSystem Performance and Evaluation. 615 24$aThe Computing Profession. 615 24$aFormal Languages and Automata Theory. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a004.0151 676 $a004.0151 702 $aSun$b Jing$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSun$b Meng$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349397403321 996 $aFormal Methods and Software Engineering$9771999 997 $aUNINA