302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
集成电路－芯片－验证－技术培训－教材
2007年
2007
搜索分类
高级验证方法学
本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证...
2007.08
按中图号分类
中图号G634
25254
中图号G624
8412
中图号I247.5
3499
中图号G613
1922
中图号G634.413
1671
中图号H31
1567
中图号J222.7
1559
中图号I267
1399
中图号I227
1103
中图号TP312
1082
中图号TP3
1016
中图号TP391.41
964
中图号G624.203
776
中图号G634.303
772
中图号B848.4-49
659
中图号H319.9
658
中图号G624.243
644
中图号H125.4
640
中图号B821-49
640
中图号H319.4：I
635
按出版社分类
北京教育出版社
3612
中国少年儿童出版社
3458
机械工业出版社
3305
延边大学出版社
2829
清华大学出版社
2733
内蒙古人民出版社
2598
高等教育出版社
2517
科学出版社
2260
电子工业出版社
2158
化学工业出版社
2076
远方出版社
1842
北京大学出版社
1753
内蒙古少年儿童出版社
1751
人民邮电出版社
1718
光明日报出版社
1716
陕西人民教育出版社
1649
中国电力出版社
1449
陕西旅游出版社
1429
人民卫生出版社
1323
中国人民大学出版社
1252