Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings /

Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings /

Saved in:
Bibliografiske detaljer
Institution som forfatter: Working Group Provably Correct Systems
Andre forfattere: Langmaack, Hans, Vytopil, J. (Jan), 1947-, Roever, W.-P. de, 1943-
Format: Bog
Sprog:English
Udgivet: Berlin ; New York : Springer-Verlag, c1994.
Serier:Lecture notes in computer science ; 863.
Fag:
Real-time data processing > Congresses.
Fault-tolerant computing > Congresses.
Beskrivelse
Fysisk beskrivelse:xiv, 787 p. : ill. ; 24 cm.
Bibliografi:Includes bibliographical references.
ISBN:0387584684
3540584684

Lignende værker