ホーム > 商品詳細

プログラム意味論(情報数学講座) 

横内 寛文  著

在庫状況 有り  お届け予定日 3~4日  数量 冊 
価格 \4,070(税込)         

発行年月 1994年06月
出版社/提供元
言語 日本語
媒体 冊子
ページ数/巻数 261p
大きさ 22
ジャンル 和書/理工学/情報学/プログラミング
ISBN 9784320026575
商品コード 0194049062
NDC分類 007.64
基本件名 プログラミング(コンピュータ)
商品URL
参照
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0194049062

内容

第1章 表示的意味論の考え方 第2章 ラムダ計算の基礎 第3章 領域理論の基礎 第4章 関数型言語の意味論 第5章 カテゴリ理論の基礎 第6章 領域方程式 第7章 ラムダ計算の意味論

カート

カートに商品は入っていません。