The Calculus of Computation(springer2007_英文原版_PDF版本带书签目录) 上传者：anweigan64 2018-12-09 09:28:01上传 PDF文件 2.62MB 热度 71次 1) 数名：The Calculus of Computation(Decision Procedures with Applications to Verification) 2) PDF带书签目录 3) 程序验证，程序安全，信息安全的基础理论 下载地址 用户评论 更多下载 下载地址 立即下载 收藏 腾讯 微博 用户评论 发表评论 anweigan64 资源：45 粉丝：1 +关注 上传资源 免责说明 本站只是提供一个交换下载平台，下载的内容为本站的会员网络搜集上传分享交流使用,有完整的也有可能只有一分部,相关内容的使用请自行研究,主要是提供下载学习交流使用,一般不免费提供其它各种相关服务! 本站内容泄及的知识面非常广,请自行学习掌握,尽量自已动脑动手解决问题,实践是提高本领的途径,下载内容不代表本站的观点或立场!如本站不慎侵犯你的权益请联系我们,我们将马上处理撤下所有相关内容！联系邮箱：server@dude6.com
