（美）格拉瑟（Mark Glasser）等编著；王欣等译2007 年出版294 页ISBN：9787811143706
本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......
邓雷主编；许智勇，刘建华等副主编；武春红，吴国栋等编委；杨贵仁主审2012 年出版296 页ISBN：9787563932405
本书是高职高专使用的体育教材。该教材分为四篇：第一篇讲述了体育理论，包括前四章；第二篇介绍了田径与球类运动，包括第五章、第六章和第七章；第三篇介绍民间传统体育项目，包括第八章、第九章和第十章；第四篇介......
