-
中文图书1.数字集成电路设计验证:量化评估、激励生成、形式化验证 TN431.2/4621
馆藏复本:5
可借复本:5 李晓维 ... [等] 著
科学出版社 2010
(0) 馆藏
-
中文图书2.编写测试平台:HDL模型的功能验证-第2版 TN407/244
馆藏复本:5
可借复本:4 (美)Janick Bergeron著
电子工业出版社 2006.8
(0) 馆藏
馆藏复本:5
可借复本:5 李晓维 ... [等] 著
科学出版社 2010
(0) 馆藏
馆藏复本:5
可借复本:4 (美)Janick Bergeron著
电子工业出版社 2006.8
(0) 馆藏