交互式定理证明与程序开发 2010年1版1印（正版现货）
内页干净完好没有写划。
￥ 180 八五品
仅1件
四川成都
认证卖家担保交易快速发货售后保障
作者[德]伯托特、[德]卡斯特兰 著；顾明 译
出版社清华大学出版社
ISBN9787302208136
出版时间2010-01
版次1
印刷时间2010-01
印次1
装帧平装
开本16开
页数432页
上书时间2021-03-05
- 在售商品 暂无
- 平均发货时间 15小时
- 好评率 暂无
- 店主推荐
- 最新上架
![汤头歌诀（附经络歌诀）[民国二十七年第七版]](https://www0.kfzimg.com/sw/kfz-cos/kfzimg/edddabac/3ffff2c30ba05acf_s.jpg)
商品详情
- 品相描述：八五品
- 外封边角轻微磨损，封底上边有裂伤，内页干净完好没有写划笔迹。书角稍卷。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价