ISBN | 0494040556 | ||
---|---|---|---|
作者 | Akbarpour, Behzad. | 授予学位单位 | Concordia University (Canada). |
学位 | Ph.D. | ||
学科 | Engineering Electronics and Electrical. Computer Science. | 国籍 | CA |
页码/总页数 | 136 p. / 136 | 出版年 | 2005 |
中图分类号 | TN, TP | ||
关键词 | Digital signal processing Higher-order logic Verification |