Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
著者
書誌事項
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
(Lecture notes in computer science, 331)
Springer-Verlag, c1988
- : gw
- : us
大学図書館所蔵 件 / 全53件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick
Includes bibliographical references