|
000
|
01160nam 2200265 450
|
|
001
|
7636
|
|
010
|
|
@a978-7-03-073167-8@dCNY120.00
|
|
100
|
|
@a20230722d2022 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa a 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a高级语言程序变换的机械化证明导论@Agao ji yu yan cheng xu bian huan de ji xie hua zheng ming dao lun@f何炎祥, 江南著
|
|
210
|
|
@a北京@c科学出版社@d2022.09
|
|
215
|
|
@a223页@c图@d24cm
|
|
225
|
2
|
@a信息科学技术学术著作丛书@Axin xi ke xue ji shu xue shu zhu zuo cong shu
|
|
320
|
|
@a有书目
|
|
330
|
|
@a随着现代社会信息化程度的提高, 与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性, 从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术, 分析比较各类主流证明助手的设计特点, 重点讨论在编译器验证领域取得的重要研究成果, 并以实例详述验证编译器的开发和实现。
|
|
410
|
0
|
@12001 @a信息科学技术学术著作丛书
|
|
606
|
0
|
@a高级语言@Agao ji yu yan@x程序设计
|
|
690
|
|
@aTP311.1@v5
|
|
701
|
0
|
@a何炎祥@Ahe yan xiang@4著
|
|
701
|
0
|
@a江南@Ajiang nan@4著
|
|
801
|
0
|
@aCN@b郑州旅游职业学院@c20230722
|
|
905
|
|
@aZZLYZY@dTP311.1@e169
|
|
|
|
|
| |
| 高级语言程序变换的机械化证明导论/何炎祥, 江南著.-北京：科学出版社，2022.09 |
| 223页：图；24cm.-(信息科学技术学术著作丛书) |
| |
| |
| ISBN 978-7-03-073167-8：CNY120.00 |
| 随着现代社会信息化程度的提高, 与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性, 从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术, 分析比较各类主流证明助手的设计特点, 重点讨论在编译器验证领域取得的重要研究成果, 并以实例详述验证编译器的开发和实现。 |
| ● |
正题名：高级语言程序变换的机械化证明导论
索取号：TP311.1/169
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1322346
|
213223466
|
十四楼书库/
[索取号:TP311.1/169]
|
在馆
|
架位导航
|
|
2
|
1322347
|
213223475
|
十四楼书库/
[索取号:TP311.1/169]
|
在馆
|
架位导航
|
|
3
|
1322348
|
213223484
|
十四楼书库/
[索取号:TP311.1/169]
|
在馆
|
架位导航
|
