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