扫一扫
关注中图网
官方微博
>
关于“何炎祥//江南”检索到 共1种现货商品
-
高级语言程序变换的机械化证明导论/信息科学技术学术著作丛书
¥87.6(7.3折)定价:¥120.0随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。本书可供计算机科学与技术、信息安全、软件工程、计算机应用技术等相关专业的高年级本科生和研究生学习，也可供从事机械化定理证明、可信软件
五星书
浏览历史
-
德国少年儿童百科知识全书:珍藏版.神秘的古埃及--尼罗河畔的金色帝国(精装版)
¥25.2¥35.0
