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 00912cam0-2200253 --450 001 9910314657603321 005 20190412094851.0 010 $a978-88-337-9023-7 100 $a20190412d2018----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $ay 001yy 200 1 $a<>decreto dignitą$econtratti a termine, somministrazione di lavoro, lavoro occasionale e indennitą risarcitoria per il licenziamento illegittimo$eCommento agli articoli 1-3 e 4-4 bis d.l. 87/2018 convertito nella legge 9 agosto 2018 n. 96$fGiovanni Mimmo, Antonino Sgroi 210 $aPisa$cPacini giuridica$d2018 215 $a150 p.$d21 cm 700 1$aMimmo,$bGiovanni$0416583 701 1$aSgroi,$bAntonino$0572314 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910314657603321 952 $aVII G 106$b2019/51$fFGBC 959 $aFGBC 996 $aDecreto dignitą$91549570 997 $aUNINA