LEADER 01595nam--2200457---450 
001 990001840870203316
005 20180312154615.0
010   $a3-540-20126-2
035   $a000184087
035   $aUSA01000184087
035   $a(ALEPH)000184087USA01
035   $a000184087
100   $a20040712d2003----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aComputer safety, reliability and security$e22. International conference, SAFECOMP 2003$eEdinburgh, UK, September 2003$eproceedings$fStuart Anderson, Massimo Felici, Bev Littlewood (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aXIX, 426 p.$cill.$d20 cm
225   $aLecture notes in computer science$v2788
410   $12001$aLecture notes in computer science$v2788
454  1$12001
461  1$1001-------$12001
610 1 $aSicurezza dei dati$aCongressi$a2003
610 1 $aSoftware$aVerifica$aCongressi$a2003
676   $a005.1
702  1$aANDERSON,$bStuart
702  1$aFELICI,$bMassimo
702  1$aLITTLEWOOD,$bBev
710 12$aInternational conference SAFECOMP <22. ; 2003 ; Edinburgh>$0564207
801  0$aITA$bCBS$gISBD
912   $a990001840870203316
951   $a001 LNCS 2788$b0030221/CBS$c001$d00114085
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040712$lUSA01$h0912
979   $aRIVELLI$b90$c20040712$lUSA01$h0914
979   $aRIVELLI$b90$c20040712$lUSA01$h0917
979   $aRIVELLI$b90$c20040712$lUSA01$h0917
996   $aComputer safety, reliability and security$9949779
997   $aUNISA