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
- 種類:
- 電子ブック
- 責任表示:
- edited by Hans Langmaack, Willem-Paul Roever, Jan Vytopil
- 出版情報:
- Berlin, Heidelberg : Springer-Verlag, 1994
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 863
- ISBN:
- 9783540489849 [3540489843]
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer-Verlag | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag |
|
11
電子ブック
Real-Time: Theory in Practice : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
Springer-Verlag | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag |