Ａｓｃｉｉ ｓｏｆｔｗａｒｅ ｓｃｉｅｎｃｅ プログラミング言語理論への招待―正しいソフトウェアを書くために

メイヤー，バートランド【著】〈Ｍｅｙｅｒ，Ｂｅｒｔｒａｎｄ〉/酒匂 寛【訳】

アスキー・メディアワークス（1995/09発売）

• サイズ B5判／ページ数 450p／高さ 26cm
• 商品コード 9784756103178
• NDC分類 007.64
• Cコード C3055

目次

１章　基本的概念
２章　数学的予備知識
３章　構文
４章　意味論―主な手法の紹介
５章　ラムダ計算式
６章　表示意味論―基礎
７章　表示意味論―言語機能
８章　再帰の数学
９章　公理意味論
１０章　意味的定義の一貫性