関連資料一覧：（本学所蔵）

検索条件入力＞書誌詳細＞関連資料一覧：（本学所蔵）

関連資料一覧：（本学所蔵）

検索条件

著者情報：Clarke, Edmund

図書(1件)

選択行を：

資料名

キャンパス

責任表示

出版者

出版年

所在

1

Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 : gw , : us ( Lecture notes in computer science ; 164 )

南港

edited by Edmund Clarke and Dexter Kozen

Springer-Verlag

1984

南港 1F一般書架A 007.6/L

選択行を

▲ページトップへ