プログラム検証論
著者
書誌事項
プログラム検証論
(情報数学講座, 8)
共立出版, 1995.9
- タイトル読み
-
プログラム ケンショウロン
大学図書館所蔵 件 / 全221件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[199]-201. 索引: 巻末
内容説明・目次
目次
- 第1章 プログラムの検証
- 第2章 ホーア論理入門
- 第3章 形式的理論
- 第4章 ホーア論理詳説
- 第5章 ホーア論理の数学
- 第6章 ダイクストラの検証法
- 第7章 古典理論を越えて
- 第8章 形式的技法
「BOOKデータベース」 より