01192nam--2200373---450-99000307260020331620080410123609.0978-3-540-48265-9000307260USA01000307260(ALEPH)000307260USA0100030726020080229d2006----km-y0itay50------baengDEa---||||001yyRigorous development of complex fault-tolerant systemsMichael Butler...[et al] (eds.)Berlin (etc.)Springercopyr. 2006X, 402 p.ill.24 cmLecture Notes in Computer ScienceState-of-the-Art-Survey41572001Lecture Notes in Computer Science41572001Progettazione dei sistemi004.2BUTLER,Michael600410ITsalbcISBD990003072600203316001 LNCS 415734464/CBS00100224925BKSCIANGELA9020080229USA011236ANGELA9020080410USA011236Rigorous development of complex fault-tolerant systems1023526UNISA