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
類似資料:
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 |