(德)格林(Grimm,J.),(德)格林(Grimm,W.)著;保冬妮改编2006 年出版48 页ISBN:7500780427
本书收录《小红帽》、《小天使和鞋匠》两篇童话。
(美)Kenn Scribner,(美)Mark C.Stiver著;刘勇,宋继斌译2002 年出版312 页ISBN:7115102554
(美)格拉瑟(Mark Glasser)等编著;王欣等译2007 年出版294 页ISBN:9787811143706
本书内容包括9章:绪论;验证原理;高级验证方法学介绍;面向对象编程的特点;事务级建模的特点;高级验证方法学的机理;验证平台的组成;完整的验证平台;可替换的验证平台;验证平台中的模块等。本书是针对IC开发设......