プログラム意味論(情報数学講座)
横内 寛文
著
在庫状況
有り
お届け予定日
3～4日
価格
\4,070（税込）
発行年月
1994年06月
出版社／提供元
共立出版
言語
日本語
媒体
冊子
ページ数／巻数
２６１ｐ
大きさ
22
ジャンル
和書／理工学／情報学／プログラミング
ISBN
9784320026575
商品コード
0194049062
NDC分類
007.64
基本件名
プログラミング（コンピュータ）
商品URL
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0194049062
内容
第１章 表示的意味論の考え方 第２章 ラムダ計算の基礎 第３章 領域理論の基礎 第４章 関数型言語の意味論 第５章 カテゴリ理論の基礎 第６章 領域方程式 第７章 ラムダ計算の意味論
