『プログラム検証論』 - mrsekut-p

『プログラム検証論』

https://gyazo.com/e604bee99af1664a44ddc91a82f75215

1995/9/1

amazonで中古で1万円...

第1章　プログラムの検証

第2章　ホーア論理入門

第3章　形式的理論

第4章　ホーア論理詳説

第5章　ホーア論理の数学

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

第7章　古典理論を越えて

第8章　形式的技法