Vai al contenuto principale della pagina
Autore: | Working group provably correct systems- ProCoS : <3. : ; 1994> |
Titolo: | 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.) |
Pubblicazione: | Berlin [etc.], : Springer, c1994 |
Descrizione fisica: | XIV, 787 p. ; 24 cm. |
Disciplina: | 004.33 |
Soggetto topico: | Elaborazione dei dati - Congressi - 1994 |
Persona (resp. second.): | Langmaack, Hans |
Vytopil, Jan | |
Roever, Willem-Paul : de | |
Titolo autorizzato: | Formal techniques in real-time and fault-tolerant systems |
ISBN: | 3540584684 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | AQ10008283 |
Lo trovi qui: | Univ. del Sannio |
Collocazione: | COLL. ING. LNCS |
Opac: | Controlla la disponibilità qui |