开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
当前位置：首页 > 电子书籍 > 其他书籍
形式化验证，模型检测和数理逻辑经典书籍系列（2）
上传用户：liusjun78
上传日期：2024-10-26
文件大小： 10375k
源码售价： 10 个金币 积分规则     积分充值
充值1元得10金币   
资源说明：我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：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)
部分文件列表（点击文件名可查看文件内容）
本源码包内暂不包含可直接显示的源代码文件，请下载源码包。
最新本分类资源
本类热门下载