Implementing Mathematics with the Nuprl Proof Development System - R L Constable - 图书 - Createspace - 9781468059106 - 2012年1月23日
如封面与标题不符，以标题为准

R L Constable
Implementing Mathematics with the Nuprl Proof Development System

价格
元 136
不含税

远程仓调货

预计送达时间 年6月5日 - 年6月23日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单
介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2012年1月23日
ISBN13 9781468059106
出版商 Createspace
页数 310
商品尺寸 152 × 229 × 17 mm   ·   417 g

查看R L Constable的全部作品 ( 例如 Paperback Book )