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
H. Langmaack, W.-P. de Roever, J. Vytopil (eds.)
Bok Engelsk 1994
| Utgitt | Berlin : Springer , c1994
|
|---|---|
| Omfang | XIV, 787 s. : ill.
|
| Emner | |
| ISBN | 3540584684
|
