Martin-Lof类型论程序设计导引
(瑞典)诺德斯特龙(Nordstrom B.) 宋方敏
南京大学出版社
9787305038327
2002年09月
¥24.00
¥9.60
¥9.10
0元包邮! 送960积分[详细介绍]购满0.1元免运费! 领券
有路自营缺货
¥27.00
库存3本
52006笔交易
中山市