¥90.00定价:¥120.00(7.5折)
¥87.00定价:¥87.00
¥14.59定价:¥64.77(2.26折)
¥78.00定价:¥171.60(4.55折)
(正版图书) 信息科学技术学术著作丛书-语言程序变换的机械化证明导论 9787030731678 何炎祥,江南 科学出版
正版图书,收到货可开电子发票。划线价为市场参考价,划线价格并非图书的定价。商品图片仅供参考,以实物为准。
¥32.10定价:¥38.00(8.45折)
¥685.10定价:¥800.00(8.57折)