MARC状态：审校 文献类型：中文图书 浏览次数：248
- 题名/责任者:
- 高级语言程序变换的机械化证明导论/何炎祥, 江南著
- 出版发行项:
- 北京:科学出版社,2022
- ISBN及定价:
- 978-7-03-073167-8/CNY120.00
- 载体形态项:
- 223页:图;24cm
- 丛编项:
- 信息科学技术学术著作丛书
- 个人责任者:
- 何炎祥 著
- 个人责任者:
- 江南 著
- 学科主题:
- 高级语言-程序设计
- 中图法分类号:
- TP312
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。
全部MARC细节信息>>
9楼北计算机应用借阅室