返 回
(德)伯托特 (德)卡斯特兰 顾明
导航
首页
分类搜索
购物车
我的有路
共有商品数量1种。
交互式定理证明与程序开发:Coq归纳构造演算的艺术(国外经典教材·计算机科学与技术?59
(德)伯托特 (德)卡斯特兰 顾明
清华大学出版社 / 2010年01月
¥59.00
/
¥23.6