名 称：
交互式定理证明与程序开发:Coq归纳构造演算的艺术(国外经典教材·计算机科学与技术?59
作 者：
出 版 社：
I S B N：
9787302208136
出版日期：
2010年01月
定价：
￥59.00
售价：
￥23.60
优惠活动：
0元包邮！
送2360积分[详细介绍]
购满0.1元免运费！
领券
领取新人5元无门槛优惠券领取新人5元优惠券
邀请好友得无门槛5元优惠券
分享图书领10%佣金，无上限
数 量：
有路自营缺货
