プログラムの基礎理論
著者
書誌事項
プログラムの基礎理論
（岩波講座ソフトウェア科学 / 長尾真 [ほか] 編, 13）
岩波書店, 1991.9
- タイトル読み
-
プログラム ノ キソ リロン
大学図書館所蔵 件 / 全342件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考書: p331-334
巻末: 記号索引, 事項索引, 関数索引, 述語索引
内容説明・目次
内容説明
プログラムの理論とはプログラムの意味や仕様を正確に述べるための理論の総称である。本書ではまず基本的な対象である式を定義し、計算の手順と数学的推論の形式化について詳しい解説を与える。さらにこの形式化とプログラムの正当性との関係を統一的に扱える論理体系を導入し、具体的なプログラムの検証や意味論への応用を見事に展開する。
「BOOKデータベース」 より