LEADER 01336nam--2200373---450 001 990001117230203316 005 20180312154621.0 010 $a3-540-44157-3 035 $a000111723 035 $aUSA01000111723 035 $a(ALEPH)000111723USA01 035 $a000111723 100 $a20021217d2002----km-y0ITAy0103-------ba 101 0 $aENG 102 $aDE 200 1 $aComputer safety, reliability and security$e21st International conference, SAFECOMP 2002$eCatania, Italy, September 10-13, 2002$eproceedings$fStuart Anderson...(eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2002 215 $aXV, 348 p.$cill.$d20 cm 225 $aLecture notes in computer science$v2434 410 $12001$aLecture notes in computer science$v2434 610 1 $aSicurezza dei dati$aCongressi$a2002 610 1 $aSoftware$aVerifica$aCongressi$a2002 676 $a005.1 702 1$aVoges,$bUdo 710 12$aInternational conference SAFECOMP 2002 <21. ; 2002 ; Catania>$0554580 801 0$aITA$bCBS$gISBD 912 $a990001117230203316 951 $a001 LNCS (2434)$b0027371 CBS$c001$d00113178 959 $aBK 969 $aSCI 979 $aDIGIUSEPPE$b90$c20021217$lUSA01$h1726 979 $aPATRY$b90$c20040406$lUSA01$h1717 996 $aComputer safety, reliability and security$9981558 997 $aUNISA