高级语言程序变换的机械化证明导论 科学出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥99.60定价:¥120.00 (8.3折)
高级语言程序变换的机械化证明导论 何炎祥,江南 著 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥94.80定价:¥120.00 (7.9折)
高级语言程序变换的机械化证明导论 科学出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥94.80定价:¥120.00 (7.9折)
高级语言程序变换的机械化证明导论 科学出版社 新华书店正版,关注店铺成为会员可享店铺专属优惠,团购客户请咨询在线客服!
¥99.60定价:¥120.00 (8.3折)