資料詳細

  • 1 件中、 1 件目

プログラム意味論   貸出可

横内寛文／著 -- 共立出版 -- １９９４．６ -- 007.64  (情報数学講座 ７)

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫０門 /007/Ｙ７８/ 0010094080003 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ プログラム意味論 
著者１ 横内寛文 ／著  
出版年 １９９４．６
出版者 共立出版
シリーズ名 情報数学講座  ７
一般件名 プログラミング（コンピュ－タ） , 意味論
ページ数 ２６１ｐ
大きさ ２２ｃｍ
ISBN 4-320-02657-8
NDC分類(10版) 007.64
内容紹介 第１章　表示的意味論の考え方　第２章　ラムダ計算の基礎　第３章　領域理論の基礎　第４章　関数型言語の意味論　第５章　カテゴリ理論の基礎　第６章　領域方程式　第７章　ラムダ計算の意味論

ページの先頭へ