LEADER 01661nlm0 22004811i 450 001 990009249610403321 010 $a9783540482673 035 $a000924961 035 $aFED01000924961 035 $a(Aleph)000924961FED01 035 $a000924961 100 $a20100926d2006----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aRigorous Development of Complex Fault-Tolerant Systems$bRisorsa elettronica$fedited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna 210 $aBerlin ; Heidelberg$cSpringer$d2006 225 1 $aLecture Notes in Computer Science$x0302-9743$v4157 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aButler,$bMichael 702 1$aJones,$bCliff B. 702 1$aRomanovsky,$bAlexander 702 1$aTroubitsyna,$bElena 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/11916246 901 $aEB 912 $a990009249610403321 961 $aArtificial intelligence 961 $aArtificial Intelligence (incl. Robotics) 961 $aComputer Communication Networks 961 $aComputer Communication Networks 961 $aComputer science 961 $aComputer Science 961 $aOperating Systems 961 $aOperating systems (Computers) 961 $aProgramming Languages, Compilers, Interpreters 961 $aProgramming Techniques 961 $aSoftware engineering 961 $aSoftware Engineering 996 $aRigorous Development of Complex Fault-Tolerant Systems$9772219 997 $aUNINA