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
Detaljer
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.
