[学位论文]
  • Akbarpour, Behzad.
  • Concordia University (Canada).
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  
相关作者
相关关键词