首页
|
帮助
|
阅读器下载
|
插件下载
|
登录
中国博士学位论文全文数据库
基于多项式符号代数的数字电路形式验证方法研究
【作者】
杨志
;
【导师】
马光胜;
【作者基本信息】
哈尔滨工程大学
, 计算机应用技术, 2009, 博士