高级语言程序变换的机械化证明导论 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥87.20定价：¥120.00 (7.27折)
明星店铺 文轩网旗舰店
高级语言程序变换的机械化证明导论 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥88.20定价：¥120.00 (7.35折)
明星店铺 四川新华书店教育专营店
高级语言程序变换的机械化证明导论 何炎祥,江南 著 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥85.30定价：¥120.00 (7.11折)
高级语言程序变换的机械化证明导论 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥86.20定价：¥120.00 (7.19折)
高级语言程序变换的机械化证明导论 何炎祥,江南 著 科学出版社
¥86.20定价：¥120.00 (7.19折)
