LEADER 01536nam2-2200433li-450 001 990000204330203316 005 20180312154710.0 010 $a3-540-58179-0 035 $a0020433 035 $aUSA010020433 035 $a(ALEPH)000020433USA01 035 $a0020433 100 $a20001109d1994----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aComputer aided verification$e6th International conference CAV'94$eStanford, California, Usa, June21-23, 1994$eproceedings$fDavid L. Dill (ed.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1994 215 $aIX, 480 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v818 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$astanford$a1994 610 1 $asistemi distribuiti$acongressi$a1994 610 1 $asistemi$amodelli matematici$acongressi$a1994 610 1 $asistemi$averifica$acongressi$a1994 676 $a003$9Sistemi 702 1$aDill,$bDavid L. 710 12$aInternational conference CAV'94$d6.$eStanford$f1994$0746762 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000204330203316 951 $a001 LNCS (818)$b0016348$c001$d00103133 959 $aBK 969 $aSCI 979 $c19950212 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010130$lUSA01$h1507 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aComputer aided verification$91490915 997 $aUNISA LEADER 01399nam 2200337 n 450 001 996392929803316 005 20221108063905.0 035 $a(CKB)4940000000110704 035 $a(EEBO)2240917297 035 $a(UnM)99867344 035 $a(EXLCZ)994940000000110704 100 $a19940510d1660 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 12$aKing Solomons's infallible expedient for three kingdoms settlement: or, Better men make better times$b[electronic resource] $eDelivered in a sermon preached in the renowned and famous city of Gloucester, the Lord's day before their election of burgesses for Parliament$fBy Samuel Keme S.S.T.B. rector of Allbery, near Oxon 210 $aLondon $cprinted by J.S. for S. Sawbridge, and are to be sold at the signe of the Bible on Lud-Gate Hill$d1660 215 $a[6], 12 p 300 $aAnnotation on Thomason copy: "April 19". 300 $aReproduction of the original in the British Library. 330 $aeebo-0018 606 $aSermons, English$y17th century 615 0$aSermons, English 700 $aKem$b Samuel$f1604-1670.$01006288 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996392929803316 996 $aKing Solomons's infallible expedient for three kingdoms settlement: or, Better men make better times$92363838 997 $aUNISA