交互式定理证明与程序开发（侧面有点水印）
￥ 120 ￥ 59 八品
仅1件
北京昌平
认证卖家担保交易快速发货售后保障
作者[德]伯托特、[德]卡斯特兰 著；顾明 译
出版社清华大学出版社
ISBN9787302208136
出版时间2010-01
版次1
装帧平装
开本16开
纸张其他
页数432页
定价59元
货号0318
上书时间2024-03-23
商品详情
- 品相描述：八品
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价