LEADER 01331nam 2200361 n 450 001 996385456203316 005 20221108053115.0 035 $a(CKB)1000000000603255 035 $a(EEBO)2240911734 035 $a(UnM)99844557 035 $a(EXLCZ)991000000000603255 100 $a19910830d1592 uy | 101 0 $agre 135 $aurbn||||a|bb| 200 00$aLykophronos tou Chalkideo?s Alexandra. = Lycophronis Chalcidensis Alexandra$b[electronic resource] $eIn vsum Academię Oxoniensis 210 $a[Oxford] $cExcudebat Iosephus Barnesius celeberrimę Academię Oxoniensis typographus$dM.D.XCII. [1592] 215 $a[2], 44, [2] p 300 $aIn verse. 300 $aFirst four words of title in Greek characters. 300 $aThe roman numeral date is made with turned C's. 300 $aRunning title reads (in Greek characters): Lykophronos Kassandra. 300 $aThe last leaf is blank. 300 $aReproduction of the original in the Henry E. Huntington Library and Art Gallery. 330 $aeebo-0113 700 $aLycophron$0471429 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996385456203316 996 $aLykophronos tou Chalkideo?s Alexandra. = Lycophronis Chalcidensis Alexandra$92320249 997 $aUNISA LEADER 03364nam 22007095 450 001 9910484438703321 005 20251103104929.0 010 $a3-319-45943-0 024 7 $a10.1007/978-3-319-45943-1 035 $a(CKB)3710000000872924 035 $a(DE-He213)978-3-319-45943-1 035 $a(MiAaPQ)EBC6287481 035 $a(MiAaPQ)EBC5587406 035 $a(Au-PeEL)EBL5587406 035 $a(OCoLC)1066184904 035 $a(PPN)195510909 035 $a(EXLCZ)993710000000872924 100 $a20160912d2016 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCritical Systems: Formal Methods and Automated Verification $eJoint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /$fedited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XVI, 247 p. 89 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9933 311 08$a3-319-45942-2 330 $aThis book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v9933 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aComputers, Special purpose 606 $aMachine theory 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aSoftware Engineering 606 $aSpecial Purpose and Application-Based Systems 606 $aFormal Languages and Automata Theory 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aSoftware engineering. 615 0$aComputers, Special purpose. 615 0$aMachine theory. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aFormal Languages and Automata Theory. 676 $a621.395 702 $ater Beek$b Maurice H$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGnesi$b Stefania$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKnapp$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484438703321 996 $aCritical Systems: Formal Methods and Automated Verification$92830202 997 $aUNINA