书目
消息
首页
搜索
购物车
高级语言程序变换的机械化证明导论
作者
何炎祥
著
江南
著
出版社
科学出版社
出版时间
2022年9月 第1版
ISBN
9787030731678
内容简介
随着现代社会信息化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性,从而奠定系统的高可信性。《高级语言程序变换的机械化证明导论》阐述机械化定理证明的逻辑基础和关键技术,分析比较各类主流证明助手的设计特点,重点讨论在编译器验证领域取得的重要研究成果,并以实例详述验证编译器的开发和实现。
目录
丛书
信息科学技术学术著作丛书
— END —