【文件属性】：
文件名称：Interactive Theorem Proving and Program Development
文件大小：3.17MB
文件格式：DJVU
更新时间：2014-05-04 10:19:55
Coq 形式化验证 定理证明
关于人机交互式定理证明工具Coq的权威书籍，包括系统介绍、系统的理论基础以及递归式构造演算。
网友评论
- great! it's in djvu tho
- 最近正好感兴趣这个，非常感谢！
- 好资料，期待已久
- 很好的资料，谢谢
- 谢谢，正好需要这个，coq数学验证有点难，但是多看几遍还是可以看懂的
- 要有逻辑和类型论基础读起来好一点
- 讲的很好，就是读起来很费劲
- 很不错，都想买中文版的了。谢谢
- 这几天正好需要一些coq和高阶逻辑的资料，找这本书找了好久，谢谢！收下了～