同志社女子大学図書館

A paradigm for program semantics : power structures and duality

Chris Brink & Ingrid Rewitzky ; : pbk. -- CSLI Publications, 2001. -- (Studies in logic, language and information). <BB00538093>
この書誌にはまだスタンプは押されていません。


登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 メモ 予約
0001 女田図 閉架(B1F) 801||B9167 0282044633 配架中 0件
No. 0001
巻号
所蔵館 女田図
配置場所 閉架(B1F)
請求記号 801||B9167
資料ID 0282044633
状態 配架中
返却予定日
予約 0件

書誌詳細

標題および責任表示 A paradigm for program semantics : power structures and duality / Chris Brink & Ingrid Rewitzky
出版・頒布事項 Stanford, Calif. : CSLI Publications
出版・頒布事項 [Amsterdam?] : FoLLI , c2001
形態事項 xi, 273 p. : ill. ; 24 cm
巻号情報
ISBN 1575863456
巻号情報
巻次等 : pbk
ISBN 1575863448
書誌構造リンク Studies in logic, language and information <BB00311045>//a
注記 Includes bibliographical references (p. 239-251) and indexes
学情ID BA55373510
本文言語コード 英語
著者標目リンク Brink, Chris <>
著者標目リンク Rewitzky, Ingrid <>