資料詳細

  • 1 件中、 1 件目

[ 和図書 ] プログラミング言語の基礎理論 ( 情報数学講座 9 )

大堀 淳／著 -- 共立出版 -- 1997.2 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /5355/5153/97 1128207314 Digital BookShelf
1997/03/13 可能 利用可   0
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細 閉じる

ISBN 4-320-02659-4
タイトル プログラミング言語の基礎理論
タイトルカナ プログラミング ゲンゴ ノ キソ リロン
著者名 大堀 淳 ／著
著者名典拠番号

110002786320000

出版地 東京
出版者 共立出版
出版者カナ キョウリツ シュッパン
出版年 1997.2
ページ数 272p
大きさ 22cm
シリーズ名 情報数学講座
シリーズ名のルビ等 ジョウホウ スウガク コウザ
シリーズ番号 9
シリーズ番号読み 9
価格 ¥3600
内容紹介 1.プログラミング言語のモデル 2.型付きラムダ計算 3.型付きラムダ計算の拡張 4.型推論システム 5.多相型言語のモデル 6.レコード計算系の理論
書誌・年譜・年表 文献:p263〜268
一般件名 プログラミング(コンピュータ)
一般件名カナ プログラミング(コンピュータ)
一般件名典拠番号

510348100000000

分類：都立NDC10版 007.64
資料情報1 『プログラミング言語の基礎理論』（情報数学講座 9）　大堀 淳／著 　共立出版　1997.2（所蔵館：中央　 請求記号：/5355/5153/97　 資料コード：1128207314）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1102375190

ページの先頭へ