机读格式显示(MARC)
- 000 01107nam0 2200253 450
- 010 __ |a 978-7-03-073167-8 |d CNY120.00
- 100 __ |a 20221027d2022 em y0chiy50 ea
- 200 1_ |a 高级语言程序变换的机械化证明导论 |A Gao Ji Yu Yan Cheng Xu Bian Huan De Ji Xie Hua Zheng Ming Dao Lun |f 何炎祥,江南主编
- 210 __ |a 北京 |c 科学出版社 |d 2022
- 330 __ |a 随着现代社会信息化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性,从而奠定系统的高可信性。《高级语言程序变换的机械化证明导论》阐述机械化定理证明的逻辑基础和关键技术,分析比较各类主流证明助手的设计特点,重点讨论在编译器验证领域取得的重要研究成果,并以实例详述验证编译器的开发和实现。
- 606 0_ |a C语言 |A C Yu Yan |x 程序设计 |x 高等学校 |j 教学参考资料
- 701 _0 |a 何炎祥 |A He Yan Xiang |4 主编
- 701 _0 |a 江南 |A Jiang Nan |4 主编
- 801 _0 |a CN |b SXDTDX |c 20231020
- 905 __ |a SXDTDX |d TP312C/711