横内 寛文 / 本

プログラム意味論 (情報数学講座) - 横内 寛文によるプログラム意味論 (情報数学講座)は共立出版 (1994/6/1)によって公開されました。 これには261ページページが含まれており、本というジャンルに分類されています。 この本は読者からの反応が良く、3人の読者から4.9の評価を受けています。 今すぐ登録して、無料でダウンロードできる何千もの本にアクセスしてください。 登録は無料でした。 サブスクリプションはいつでもキャンセルできます。

この本を見つけたり読んだりすることにした場合は、プログラム意味論 (情報数学講座)の詳細を以下に示しますので、参考にしてください。

タイトル : プログラム意味論 (情報数学講座)

作者 : 横内 寛文

ISBN-104320026578

発売日1994/6/1

カテゴリー本

ファイル名 : プログラム意味論-情報数学講座.pdf

ファイルサイズ24.78 (現在のサーバー速度は26.31 Mbpsです

プログラム意味論 (情報数学講座) - 内容（「MARC」データベースより） 第1章 表示的意味論の考え方 第2章 ラムダ計算の基礎 第3章 領域理論の基礎 第4章 関数型言語の意味論 第5章 カテゴリ理論の基礎 第6章 領域方程式 第7章 ラムダ計算の意味論

カテゴリー: 本

プログラム意味論 (情報数学講座)を読んだ後、読者のコメントの下に見つけるでしょう。 参考までにご検討ください。