Invalid size!GDI+ 中发生一般性错误。 书目详细信息
正在加载图片,请稍后......

高级语言程序变换的机械化证明导论/何炎祥, 江南

  • 附件:
  • 设置1:
  • 设置2:江南
  • 设置3:随着现代社会信息化程度的提高, 与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性, 从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术, 分析比较各类主流证明助手的设计特点, 重点讨论在编译器验证领域取得的重要研究成果, 并以实例详述验证编译器的开发和实现。
  • 摘要:有书目
  • 附注提要
    随着现代社会信息化程度的提高, 与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性, 从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术, 分析比较各类主流证明助手的设计特点, 重点讨论在编译器验证领域取得的重要研究成果, 并以实例详述验证编译器的开发和实现。
    目录
    暂无目录
    (0)|| (0)

    手机二维条形码

    馆藏信息
    索书号 条码号 登录号 馆藏地点 馆藏状态 借出日期 还回日期 流通类型 预约处理 卷册说明
    TP311.1/125 00616719 0 综合文献室 入藏 中文图书
    TP311.1/125 00616718 0 综合文献室 入藏 中文图书
    TP311.1/125 00616720 0 综合文献室 入藏 中文图书