プログラムの基礎理論

Author(s)

• 佐藤, 雅彦 サトウ, マサヒコ
• 桜井, 貴文 サクライ, タカフミ

Bibliographic Information

プログラムの基礎理論

佐藤雅彦, 桜井貴文 [共著]

（岩波講座ソフトウェア科学 / 長尾真 [ほか] 編, 13）

岩波書店, 1991.9

Title Transcription

プログラム ノ キソ リロン

Access to Electronic Resource 1 items

• 岩波講座ソフトウェア科学 (13)

  1991

  NDL Digital Collections

  Limited

Note

参考書: p331-334

巻末: 記号索引, 事項索引, 関数索引, 述語索引

Description and Table of Contents

Description

プログラムの理論とはプログラムの意味や仕様を正確に述べるための理論の総称である。本書ではまず基本的な対象である式を定義し、計算の手順と数学的推論の形式化について詳しい解説を与える。さらにこの形式化とプログラムの正当性との関係を統一的に扱える論理体系を導入し、具体的なプログラムの検証や意味論への応用を見事に展開する。

by "BOOK database"

Details

• NCID: BN06740388
• ISBN:
  • 4000103539
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: xviii, 348p
• Size: 23cm
• Classification:
  • NDC8 : 007.63
  • NDC7 : 418.6
  • NDLC : M159
• Subject Headings:
  • BSH : 電子計算機
  • NDLSH : プログラミング(電子計算機)
• Parent Bibliography ID:
  • BN02276369