大堀 淳/著 -- オオホリ,アツシ -- 共立出版 -- 1997.2 -- 007.64

※所蔵欄の「帯出区分」が「貸出禁止」のものや、「状態」が「在架」のものは予約できません。

※奄美図書館からの取り寄せは、システムの関係上、来館しての手続きが必要です。

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県図一般 書庫A6層 410/ジ93 /9 0112912449 一般図書   在架

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
県図一般 1 0 1

資料詳細

タイトル プログラミング言語の基礎理論
書名カナ プログラミング ゲンゴ ノ キソ リロン
シリーズ名 情報数学講座
著者 大堀 淳 /著  
著者カナ オオホリ,アツシ
出版地 東京
出版者 共立出版
出版者カナ キョウリツ シュッパン
出版年 1997.2
ページ数 272p
大きさ 22cm
シリーズ名 情報数学講座
シリーズ名カナ ジョウホウ スウガク コウザ
叢書巻次 9
一般件名 プログラミング(コンピュータ)
内容紹介 1.プログラミング言語のモデル 2.型付きラムダ計算 3.型付きラムダ計算の拡張 4.型推論システム 5.多相型言語のモデル 6.レコード計算系の理論
NDC分類(9版) 007.64
ISBN 4-320-02659-4
定価 ¥3600