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
|
