近くの書店で在庫を調べる
  • AuthorMeyer,Bertrand/著 酒匂寛/翻訳 メイヤーバートランド/著
  • Publisherアスキー
  • ISBN9784756103178
  • Publish Date1995年0月

プログラミング言語理論への招待 : 正しいソフトウェアを書くために

1章 基本的概念 2章 数学的予備知識 3章 構文 4章 意味論-主な手法の紹介 5章 ラムダ計算式 6章 表示意味論-基礎 7章 表示意味論-言語機能 8章 再帰の数学 9章 公理意味論 10章 意味的定義の一貫性

>> 続きを表示

Presented by