形式化验证，模型检测和数理逻辑经典书籍系列（2）

时间：2012-05-08 11:47:13
【文件属性】：

文件名称：形式化验证，模型检测和数理逻辑经典书籍系列（2）

文件大小：10.13MB

文件格式：RAR

更新时间：2012-05-08 11:47:13

形式化验证，模型检测和数理逻辑经典

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Computability and Logic 5th Edition；Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions；Handbook of Philosophical Logic Volume 4；A first course in logic；计算理论简明纲要 (v1.1)

立即下载

【文件预览】：
A first course in logic.rar
Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.rar
计算理论简明纲要 (v1.1).rar
Computability and Logic 5th Edition.rar
Handbook of Philosophical Logic Volume 4.rar

网友评论

  • 资料很详尽 谢谢分享
  • 我感觉挺好的，对我们的一门课考试很有帮助，谢啦
  • 好像打不开啊。咋回事呢
  • 谢谢提供这个方面的资料，很不错的，谢啦。
  • Excellent! Heartily recommend. Boolos' book is up-to-date; I can't find this edition in my library! Davis' collection is also a good reference.

相关文章