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