¥113.90定价：¥120.00 (9.5折)
高级语言程序变换的机械化证明导论 何炎祥,江南 中国科技出版传媒股份有限公司 【新华正版全新书籍】
¥80.60定价：¥120.00 (6.72折)
¥79.20定价：¥120.00 (6.6折)
【正版】 语言程序变换的机械化证明导论 何炎祥,江南 科学出版社 9787030731678
¥82.21定价：¥120.00 (6.86折)
高级语言程序变换的机械化证明导论 何炎祥,江南 中国科技出版传媒股份有限公司 【新华书店正版图书书籍】 正版全新书籍 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠！
¥83.40定价：¥120.00 (6.95折)
明星店铺 北方图书城旗舰店
【速发】语言程序变换的机械化证明导论 何炎祥,江南 科学出版社 9787030731678 可开发票，正版现货，支持7天无理由退换货
¥79.00定价：¥120.00 (6.59折)
