|
关于我们
 书单推荐 新书推荐 |
高级语言程序变换的机械化证明导论 
定 价：120 元 丛书名：信息科学技术学术著作丛书
9 7 7 8 3 7 1 0 6 3 7 0 8 读者对象:从事机械化定理证明、可信软件、可信编译器、信息安全等方面研究的高等院校教师和其他相关科技工作者。
随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。
更多科学出版社服务，请扫码获取。 
你还可能感兴趣
我要评论
|
