Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
- 種類:
- 図書
- 責任表示:
- M. Joseph (ed.)
- 出版情報:
- Berlin ; Tokyo : Springer-Verlag, c1988
- 著者名:
- シリーズ名:
- Lecture notes in computer science ; 331 <BA00009279>
- ISBN:
- 9783540503026 [3540503021] (: gw)
9780387503028 [0387503021] (: us) - 注記:
- Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick
類似資料:
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer | |
IEEE Computer Society Press | |