全国大中专教材网络采选系统

推荐纸质教材推荐数字资源

高级语言程序变换的机械化证明导论 / 信息科学技术学术著作丛书

￥120.00定价

作者：何炎祥，江南

出版时间：2022-10

出版社：科学出版社

以下为《高级语言程序变换的机械化证明导论》的配套数字资源，这些资源在您购买图书后将免费附送给您：

关闭

基本信息评价

出版社：科学出版社
ISBN：9787030731678
版次：31
图书编号：436257
装帧：平装胶订
开本：B5
出版时间：2022-10
页数：236
中图分类编号：TP

内容简介

随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。