数字硬件的形式化验证

作者:
出版社: 北京大学出版社
出版年: 1900-01-01
定价: 18.0
ISBN: 9787301053324

在哪儿借这本书  · · · · · ·

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

cdaxcy
cdaxcy
2014年4月10日 读过

tags:经典
形式验证入门好书

m_vptr
m_vptr
2013年12月11日 想读


> 1人读过

> 1人想读

二手市场

订阅关于数字硬件的形式化验证的评论:
feed: rss 2.0