情報数学講座 第8巻

第1章 プログラムの検証 第2章 ホーア論理入門 第3章 形式的理論 第4章 ホーア論理詳説 第5章 ホーア論理の数学 第6章 ダイクストラの検証法 第7章 古典理論を越えて 第8章 形式的技法