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