LEADER 01192nam--2200373---450-
001 990003072600203316
005 20080410123609.0
010   $a978-3-540-48265-9
035   $a000307260
035   $aUSA01000307260
035   $a(ALEPH)000307260USA01
035   $a000307260
100   $a20080229d2006----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aRigorous development of complex fault-tolerant systems$fMichael Butler...[et al] (eds.)
210   $aBerlin (etc.)$cSpringer$dcopyr. 2006
215   $aX, 402 p.$cill.$d24 cm
225 2 $aLecture Notes in Computer Science$iState-of-the-Art-Survey$v4157
410  0$12001$aLecture Notes in Computer Science$v4157
454  1$12001
606 0 $aProgettazione dei sistemi
676   $a004.2
700  1$aBUTLER,$bMichael$0600410
801  0$aIT$bsalbc$gISBD
912   $a990003072600203316
951   $a001 LNCS 4157$b34464/CBS$c001$d00224925
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080229$lUSA01$h1236
979   $aANGELA$b90$c20080410$lUSA01$h1236
996   $aRigorous development of complex fault-tolerant systems$91023526
997   $aUNISA