資料詳細

  • 1 件中、 1 件目

プログラム意味論

横内 寛文／著 -- ヨコウチ,ヒロフミ -- 共立出版 -- 1994.6 -- 007.64

所蔵

※「帯出区分」が「貸出禁止」のものは貸出・予約はできません。館内での閲覧のみが可能です。

※「状態」 が「在架」 のものは予約はできません。来館して貸出手続きを行ってください。

※奄美図書館からの取り寄せは、以下のいずれかの方法により申請してください。

　　・窓口(来館)　　・FAX

　　・郵送　　　　　・電子申請

　詳しくは 「県立奄美図書館資料の取り寄せについて」をご覧ください。

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

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

ページの先頭へ

館別所蔵

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

ページの先頭へ

資料詳細

タイトル プログラム意味論
書名カナ プログラム イミロン
シリーズ名 情報数学講座
著者 横内 寛文 ／著  
著者カナ ヨコウチ,ヒロフミ
出版地 東京
出版者 共立出版
出版者カナ キョウリツ シュッパン
出版年 1994.6
ページ数 261p
大きさ 22cm
シリーズ名 情報数学講座
シリーズ名カナ ジョウホウ スウガク コウザ
叢書巻次 7
一般件名 プログラミング(コンピュータ) , 意味論
内容紹介 第1章 表示的意味論の考え方 第2章 ラムダ計算の基礎 第3章 領域理論の基礎 第4章 関数型言語の意味論 第5章 カテゴリ理論の基礎 第6章 領域方程式 第7章 ラムダ計算の意味論
NDC分類(9版) 007.64
ISBN 4-320-02657-8
定価 ¥3500

ページの先頭へ