高级语言程序变换的机械化证明导论何炎祥江南信息科学技术学术著作丛书机械化定理证明逻辑基础与关键技术分析设计特点编译器

欢迎加入51折客联盟

亲,请登录或免费注册 | 联系客服

51折客联盟

今日热搜：咖啡具 207124 楼体未曾酱铁勺子光山药

微信扫一扫

关注微信公众号
查券更方便

高级语言程序变换的机械化证明导论何炎祥江南信息科学技术学术著作丛书机械化定理证明逻辑基础与关键技术分析设计特点编译器

高级语言程序变换的机械化证明导论何炎祥江南信息科学技术学术著作丛书机械化定理证明逻辑基础与关键技术分析设计特点编译器

87.01元~~￥94.8~~预计返￥ 03.79元券

活动结束时间：12-31 23:59 累计销量： 0件

TAG标签：机械化证明学术著作江南

立即领券复制优惠

手机淘宝扫码领券购买

商品详情

特别推荐