1.

Record Nr.

UNISA990003072600203316

Autore

BUTLER, Michael

Titolo

Rigorous development of complex fault-tolerant systems / Michael Butler...[et al] (eds.)

Pubbl/distr/stampa

Berlin (etc.) : Springer, copyr. 2006

ISBN

978-3-540-48265-9

Descrizione fisica

X, 402 p. : ill. ; 24 cm

Collana

Lecture Notes in Computer Science , State-of-the-Art-Survey ; 4157

Disciplina

004.2

Soggetti

Progettazione dei sistemi

Collocazione

001 LNCS 4157

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia