System Proofs Verifying 9781785481123 the and point 精装 Formal Arithmetic with Algorithms 预订 Coq Floating Computer
System Proofs Verifying 9781785481123 the and point 精装 Formal Arithmetic with Algorithms 预订 Coq Floating Computer
所属类目:书籍/杂志/报纸 >> 原版其它
折后价    ¥1698 原价  ¥1698
掌柜 澜瑞图书专营店
所 在 地:江苏 苏州 已有0人购买
如果您喜欢此宝贝,记得分享给您的朋友,一起享优惠: