検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
著者情報：Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1988 : Warwick, England)
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 U.S. ( Lecture notes in computer science ; 331 )中央図書館M. Joseph, ed.Springer-Verlag1988中央５階洋 007.1||L 49||331
選択行を
▲ページトップへ