高级语言程序变换的机械化证明导论
￥ 89.7 7.5折 ￥ 120 全新
仅1件
河北保定
认证卖家担保交易快速发货售后保障
作者何炎祥、江南 著
出版社科学出版社
ISBN9787030731678
出版时间2022-09
版次1
装帧平装
开本16开
纸张胶版纸
页数223页
字数293千字
定价120元
货号9787030731678
上书时间2024-11-06
商品详情
- 品相描述：全新
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价