資料詳細

  • 1 件中、 1 件目

情報数学講座 第７巻 プログラム意味論 利用可

広瀬健／〔ほか〕編集 -- 共立出版 -- 199406 -- 0071

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 007.1/ｼﾖｳ-7/一般Ｈ 115054705 一般 利用可

ページの先頭へ

資料詳細

タイトル 情報数学講座
書名ヨミ ジヨウホウ　スウガク　コウザ
巻次 第７巻
巻書名 プログラム意味論
巻書名 プログラム意味論
著者名 広瀬健 ／〔ほか〕編集  
著者ヨミ ヒロセ，ケン  
出版者 共立出版  
出版年 199406
ページ数等 ２６１ｐ
大きさ ２２㎝
内容細目 参考文献：ｐ２５３～２５７
一般件名 情報数学  
ISBN 4-320-02657-8
問合わせ番号（書誌番号） 1100200257
NDC8版 0071

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第１章　表示的意味論の考え方
第２章　ラムダ計算の基礎
第３章　領域理論の基礎
第４章　関数型言語の意味論
第５章　カテゴリ理論の基礎
第６章　領域方程式
第７章　ラムダ計算の意味論

ページの先頭へ