大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 搜索包含 bdd 的图书(共1本)

硬件设计验证:基于模拟与形式的方法:simulation and foral method-based approaches

0
索取号:TP303/33
作者:拉姆、王维维、
出版社:北京:机械工业出版社,2007