（美）格拉瑟（Mark Glasser）等编著；王欣等译2007 年出版294 页ISBN：9787811143706
本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......
何斌源，潘良浩，王欣，范航清著2014 年出版112 页ISBN：9787503876745
《乡土盐沼植物及其恢复》记录了作者们对盐沼湿地概念、结构和生态功能及其已有修复技术的理解和阐述，并对盐沼植物适应性结构、生理特征和利用的细致梳理，集成创新了一系列适宜潮汐湿地开展茳芏等盐沼修复的...
