Formal Techiques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT'98 Lyngby, Denmark, September 1998 : Proceedings / Anders P. Ravn ...[et al.] (eds.)

• Record Nr.: UNISA990000210210203316
• Autore: International symposium FTRTFT'98 : 5. : 1998
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1998
• ISBN: 3-540-65003-2
• Descrizione fisica: VIII, 338 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 1486
• Disciplina: 00433
• Collocazione: 001 LNCS (1486)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia