プログラム検証論

Author(s)

• 林, 晋 ハヤシ, ススム

Bibliographic Information

プログラム検証論

林晋著

（情報数学講座, 8）

共立出版, 1995.9

Title Transcription

プログラム ケンショウロン

Note

参考文献: p[199]-201. 索引: 巻末

Description and Table of Contents

Table of Contents

• 第１章　プログラムの検証
• 第２章　ホーア論理入門
• 第３章　形式的理論
• 第４章　ホーア論理詳説
• 第５章　ホーア論理の数学
• 第６章　ダイクストラの検証法
• 第７章　古典理論を越えて
• 第８章　形式的技法

by "BOOK database"

• NCID: BN13003812
• ISBN:
  • 4320026586
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: xi, 211p
• Size: 22cm
• Classification:
  • NDC8 : 007.64
  • NDC7 : 418.6
  • NDLC : M159
• Subject Headings:
  • NDLSH : プログラミング用言語
  • NDLSH : プログラミング(電子計算機)
  • BSH : 電子計算機 -- プログラミング
• Parent Bibliography ID:
  • BN09103438