返 回商品信息 导航
Martin-Lof类型论程序设计导引
名       称:
作       者:

（瑞典）诺德斯特龙（Nordstrom B.） 宋方敏 

出  版 社:

南京大学出版社 

  I S B N:

9787305038327 

出版日期:

2002年09月 

定       价:

￥24.00

售       价:

￥27.00

注：您当前是在入驻店铺购买。
数       量:

— + 库存3件

关于库存、售价、配送费等信息建议联系店主咨询

本店已缴纳保证金,请放心购买!
客服
进店

购物车

内容提要

图书目录

作者介绍

客服咨询