MARC状态：审校 文献类型：中文图书 浏览次数：5
- 题名/责任者:
- 高级语言程序变换的机械化证明导论/何炎祥, 江南著
- 出版发行项:
- 北京:科学出版社,2022.09
- ISBN及定价:
- 978-7-03-073167-8/CNY120.00
- 载体形态项:
- 223页:图;24cm
- 丛编项:
- 信息科学技术学术著作丛书
- 个人责任者:
- 何炎祥 著
- 个人责任者:
- 江南 著
- 学科主题:
- 高级语言-程序设计
- 中图法分类号:
- TP311.1
- 中图法分类号:
- TP312.8
- 书目附注:
- 有书目
- 提要文摘附注:
- 随着现代社会信息化程度的提高, 与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性, 从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术, 分析比较各类主流证明助手的设计特点, 重点讨论在编译器验证领域取得的重要研究成果, 并以实例详述验证编译器的开发和实现。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311.1/H936 | 004301464 |  计算机科学书库
|
可借 | 计算机科学书库 | |
| TP311.1/H936 | 004301465 | 计算机科学书库
|
可借 | 计算机科学书库 | |
| TP311.1/H936 | 004301462 | 合肥校区书库
|
可借 | 合肥校区书库 | |
| TP311.1/H936 | 004301463 | 合肥校区书库
|
可借 | 合肥校区书库 |
显示全部馆藏信息