Interactive Theorem Proving and Program Development 参考書

ハードカバー版です。
ペーパーバックと違って重厚感があっていいですね。

本品は貴重な自動定理証明やcoqに関する教科書です。形式手法に興味がある学生や研究者にとっては必読書といえるほどの名著だと思います。

書き込みや目立つ汚れなし
Amazonでの参考価格は16490円

ご検討よろしくお願いします。


関連キーワード________________
Coq 定理証明 数学 関数型 プログラミング プログラム検証 形式手法 形式検証 安全性 セキュリティ