Martin-Lof类型论程序设计导引【 正版图书,满额减】 【速开发票,优质售后,支持7天无理由退换】
¥62.40定价:¥236.00 (2.65折)
丽德图书专营店
(瑞典)诺德斯特龙(Nordstrom,B.) 等著,宋方敏 /2002-09-01 /南京出版社
加入购物车收藏
Martin-Lof类型论程序设计导引【正版图书,满额减】 【速开发票,优质售后,支持7天无理由退换】
¥62.50定价:¥246.20 (2.54折)
益生源图书专营店