<図書>

Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth

(Lecture notes in computer science;78)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : gw 39:L:1.78 2006030155

RECON/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存 : gw FU:Gordon 8001114894

普通図書
数理科学・保存 : gw FU:Gordon 8005041762

普通図書
4

駒場Ⅱキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
先端研・図書
681.3:L471 7600057736

集密書架別置

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 1979
大きさ viii, 159 p. ; 25 cm
一般注記 Bibliography: p. [153]-157
Includes index
著者標目 *Gordon, Michael J. C., 1948-
Milner, Robin, 1934-
Wadsworth, Christopher P., 1946-
件 名 LCSH:Edinburgh LCF (Computer system)
LCSH:Computable functions -- Data processing
分 類 LCC:QA9.59
DC:510/.8 s
DC:001.6/4
本文言語 英語
書誌ID 2001164845
ISBN 3540097244
NCID BA07298877 WCLINK

検索結果一覧に戻る ページトップ