1995/9/1

林晋 著

amazonで中古で1万円...

第1章　プログラムの検証

第2章　ホーア論理入門

第3章　形式的理論

第4章　ホーア論理詳説

第5章　ホーア論理の数学

第6章　ダイクストラの検証法

第7章　古典理論を越えて

第8章　形式的技法