プログラムの基礎理論
Author(s)
Bibliographic Information
プログラムの基礎理論
（岩波講座ソフトウェア科学 / 長尾真 [ほか] 編, 13）
岩波書店, 1991.9
- Title Transcription
-
プログラム ノ キソ リロン
Available at / 342 libraries
-
University of Tsukuba Library, Library on Library and Information Science
007.63:I-95:13960018640
-
Tokyo Metropolitan College of Industrial Thechnology Shinagawa Library
13007.63/N17/13100011303,
附属資料411.3/マ110001773 -
Tohoku Institute of Technology Library
N1:418.600||AT:I||KN:013,N1:548.963||AT:I||KN:0131911726,1912279
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考書: p331-334
巻末: 記号索引, 事項索引, 関数索引, 述語索引
Description and Table of Contents
Description
プログラムの理論とはプログラムの意味や仕様を正確に述べるための理論の総称である。本書ではまず基本的な対象である式を定義し、計算の手順と数学的推論の形式化について詳しい解説を与える。さらにこの形式化とプログラムの正当性との関係を統一的に扱える論理体系を導入し、具体的なプログラムの検証や意味論への応用を見事に展開する。
by "BOOK database"