名 称：
数字集成电路设计验证(量化评估.激励生成.形式化验证)
作 者：
出 版 社：
I S B N：
9787030276094
出版日期：
2010年05月
定价：
￥58.00
售价：
￥14.50
优惠活动：
0元包邮！
送1450积分[详细介绍]
购满0.1元免运费！
领券
领取新人5元无门槛优惠券领取新人5元优惠券
邀请好友得无门槛5元优惠券
分享图书领10%佣金，无上限
数 量：
有路自营缺货
拾光
