01661nlm0 22004811i 450 9900092496104033219783540482673000924961FED01000924961(Aleph)000924961FED0100092496120100926d2006----km-y0itay50------baengDEdrnn-008mamaaRigorous Development of Complex Fault-Tolerant SystemsRisorsa elettronicaedited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena TroubitsynaBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434157Documento elettronicoTestoFormato html, pdfButler,MichaelJones,Cliff B.Romanovsky,AlexanderTroubitsyna,ElenaITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11916246EB990009249610403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceOperating SystemsOperating systems (Computers)Programming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringRigorous Development of Complex Fault-Tolerant Systems772219UNINA