資料メモ

こちらの資料メモを元に配架場所へ行き資料を探してください。
図書館スタッフの出納が必要な場合は、こちらを印刷して、図書館カウンターへ提出してください。

配架場所	多:B2F小図移管
請求記号	007/L49/1192
資料番号	10602020140855
状態

Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.). - Berlin : Springer , c1997. - (Lecture notes in computer science ; 1192)

学生証・兼任勤務員番号/教職員番号/ライブラリーカード番号

氏名

2026/04/14 13:00:51