Computer safety, reliability and security : 20th International conference, SAFECOMP 2001 : Budapest, Hungary, September 26-28, 2001 : proceedings / Udo Voges (ed.) |
Autore | International conference SAFECOMP 2001 <20. ; 2001 ; Budapest, Hungary> |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
Descrizione fisica | XVI, 248 p. : ill. ; 20 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Sicurezza dei dati - Congressi - 2001
Software - Verifica - Congressi - 2001 |
ISBN | 3-540-42607-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000954620203316 |
International conference SAFECOMP 2001 <20. ; 2001 ; Budapest, Hungary> | ||
Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer safety, reliability and security : 21st International conference, SAFECOMP 2002 : Catania, Italy, September 10-13, 2002 : proceedings / Stuart Anderson...<et al.>(eds.) |
Autore | International conference SAFECOMP 2002 <21. ; 2002 ; Catania> |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2002 |
Descrizione fisica | XV, 348 p. : ill. ; 20 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Sicurezza dei dati - Congressi - 2002
Software - Verifica - Congressi - 2002 |
ISBN | 3-540-44157-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001117230203316 |
International conference SAFECOMP 2002 <21. ; 2002 ; Catania> | ||
Berlin [etc.] : Springer-Verlag, copyr. 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software diversity in computerized control systems / editor U. Voges |
Autore | Voges, Udo |
Pubbl/distr/stampa | Wien ; New York : Springer-Verlag, ©1988 |
Descrizione fisica | 216 p. : ill. ; 25 cm |
Disciplina | 005 |
Collana | Dependable computing and fault-tolerant systems |
Soggetto non controllato |
Elaboratori - Tolleranza errori
Controllo automatico - Elaborazione dei dati |
ISBN | 0-387-82014-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000458370403321 |
Voges, Udo | ||
Wien ; New York : Springer-Verlag, ©1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|