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

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

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

￥94.8

原价：120元7.9折距离结束：

去天猫抢购>>收藏

机械化证明学术著作语言程序江南

0人收藏举报昱欣图书专营店

扫码有惊喜！

扫码进入手机查看

现在仅需：元，库存数量有限，赶快抢购吧!

宝贝详情

HOT同类热卖

L

o

a

d

i

n

g

.

.

.

扫描二维码打开

关于我们: 关于我们; 联系我们; 新浪微博; QQ空间; 腾讯微博

商务合作: 卖家报名; 免责声明; 广告合作; APP客户端

用户帮助: 常见问题; 抢购小技巧; 消费者保障

会员中心: 我的收藏; 免费注册; 登录本站; 找回密码

他他商城粤ICP备18151084号-2　　Copyright © 2010 - 2019 https://07yhq.com/ All Rights Reserved