Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working group provably correct systems - ProCoS : Lubeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil (eds.)

• Record Nr.: UNISANNIOAQ10008283
• Autore: Working group provably correct systems- ProCoS : <3. : ; 1994>
• Pubbl/distr/stampa: Berlin [etc.], : Springer, c1994
• ISBN: 3540584684
• Descrizione fisica: XIV, 787 p. ; 24 cm.
• Collana: Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 863
• Disciplina: 004.33
• Soggetti: Elaborazione dei dati - Congressi - 1994
• Collocazione: COLL. ING. LNCS
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia