返回检索首页
正在加载图片，请稍后......

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

  • 附件:
    • 附注提要
    本书阐述机械化定理证明的逻辑基础和关键技术, 分析比较各类主流证明助手的设计点, 重点讨论在编译器验证领域取得的重要研究成果, 并以实例详述验证编译器的开发和实现。
    (0)|| (0)

    手机二维条形码

    馆藏信息
    序号 索书号 条码号 订户 馆藏地点 馆藏状态 借出日期 还回日期 流通类型 预约处理 卷册说明 登录号
    1 TP311.1/503 A1743910 HDFT 中区分馆 入藏 外借图书 0