edited by Mark C. Rogge 相关电子书下载

（英）（C.坎贝尔）ColinCampbell，（英）（H.克雷谢夫斯卡）HannaKryszewska原著张民伦导读1998 年出版162 页ISBN：7561719779

（法）特哈斯（Trassg，C.）;（法）默赫麦（Mermet，J.M.）著；万家亮，唐咏秋译1989 年出版255 页ISBN：7030012127

LIFE AND SOCIAL SCIENCES EIGHTH EDITION2006 年出版646 页ISBN：

Reasoning and Data Mining Second Edition2009 年出版393 页ISBN：

sorbents and sensors 2nd edition2012 年出版726 页ISBN：1848168047

MARK W.ANDERSON，MICHAEL G.FOX原著；韩鸿宾主译2019 年出版664 页ISBN：7565917592

（美）Kenn Scribner，（美）Mark C.Stiver著；刘勇，宋继斌译2002 年出版312 页ISBN：7115102554

（美）格拉瑟（Mark Glasser）等编著；王欣等译2007 年出版294 页ISBN：9787811143706

本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC��发设......

WILLIAM STRONG MARK LESTER1997 年出版871 页ISBN：

WILLIAM STRONG MARK LESTER1996 年出版871 页ISBN：