↓この資料メモをスマホで表示する↓
資料メモ
こちらの資料メモを元に配架場所へ行き資料を探してください。 図書館スタッフの出納が必要な場合は、こちらを印刷して、図書館カウンターへ提出してください。
| 配架場所 | 多:B2F小図移管 |
| 請求記号 | 007/L49/1283 |
| 資料番号 | 10602020135789 |
| 状態 |
| Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction / Markus Müller-Olm. - Berlin ; Heidelberg : Springer , c1997. - (Lecture notes in computer science ; 1283) |
| 学生証・兼任勤務員番号/教職員番号/ライブラリーカード番号 |
| 氏名 |
2026/04/14 12:16:20
●資料メモのQRコードの読み込みを除き、図書館内での写真撮影は禁止です。ご注意ください。
●こちらの資料メモでは、予約および他キャンパス図書館からの取寄はできません。MyOPACより行ってください。
法政大学図書館