Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
M. Joseph (ed.)
Bok Engelsk 1988
Utgitt | Berlin : Springer-Verlag , c1988
|
---|---|
Omfang | VI, 229 s.
|
Opplysninger | "The Symposium on Formal Techniques in Real-time and Fault Tolerant Systems held at the University of Warwick on 22-23 September 1988 ... " - Forordet.
|
Emner | |
ISBN | 0387503021. - 3540503021
|