¥101.40定价：¥120.00 (8.45折)
¥90.00定价：¥120.00 (7.5折)
语言程序变换的机械化证明导论何炎祥江南信息科学技术学术著作丛书9787030731678科学
¥94.80定价：¥120.00 (7.9折)
正版书籍 高级语言程序变换的机械化证明导论 何炎祥，江南科学出版社9787030731678 品质好书 正版保障 优质服务 发货及时 售后无忧
¥96.00定价：¥120.00 (8折)
【新华书店总店自营店】高级语言程序变换的机械化证明导论,科学出版社 新华正版全新 正规发票 多仓就近发货 85%城市次日送达！团购优惠咨询：13284178503
¥82.29定价：¥120.00 (6.86折)
【新华书店总店自营旗舰店】高级语言程序变换的机械化证明导论,科学出版社 新华正版全新 正规发票 多仓就近发货 85%城市次日送达！团购优惠咨询：13284178503
¥82.29定价：¥240.00 (3.43折)
正版 语言程序变换的机械化证明导论 何炎祥，江南科学出版社书籍9787030731678机械化定理证明的逻辑基础和关键技
¥82.08定价：¥120.00 (6.84折)
语言程序变换的机械化证明导论 预计发货11.10【可开发票】 正版图书保证质量 七天无理由退货让您购物无忧
¥96.00定价：¥120.00 (8折)
¥89.00定价：¥89.00
【新华书店自营旗舰店】高级语言程序变换的机械化证明导论,科学出版社 新华正版全新 正规发票 多仓就近发货 85%城市次日送达！团购优惠咨询：13284178503
¥82.29定价：¥120.00 (6.86折)
