名 称：
判定过程：SAT与SMT求解算法（第2版）
出 版 社：
I S B N：
9787115662200
出版日期：
2025年09月
定价：
￥159.80
售价：
￥63.90
优惠活动：
0元包邮！
送6390积分[详细介绍]
购满0.1元免运费！
领券
领取新人5元无门槛优惠券领取新人5元优惠券
邀请好友得无门槛5元优惠券
分享图书领10%佣金，无上限
数 量：
有路自营缺货
