↓この資料メモをスマホで表示する↓
資料メモ
こちらの資料メモを元に配架場所へ行き資料を探してください。 図書館スタッフの出納が必要な場合は、こちらを印刷して、図書館カウンターへ提出してください。
| 配架場所 | 多:B2F小図移管 |
| 請求記号 | 007/L49/863 |
| 資料番号 | 10602020144761 |
| 状態 |
| 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 / H. Langmaack, W.-P. de Roever, J. Vytopil, (eds.). - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 863) |
| 学生証・兼任勤務員番号/教職員番号/ライブラリーカード番号 |
| 氏名 |
2025/09/23 15:40:16
●資料メモのQRコードの読み込みを除き、図書館内での写真撮影は禁止です。ご注意ください。
●こちらの資料メモでは、予約および他キャンパス図書館からの取寄はできません。MyOPACより行ってください。
法政大学図書館