MARTIN V.ANGEL AND JAMES OBRIEN1981 年出版226 页ISBN：0080284256
JAMES DARNELL，HARVEY LODISH，DAVID BALTIMORE2222 年出版1192 页ISBN：7716760010
BIOCHEMICAL ENGINEERING FUNDAMENTALS
JAMES E.BAILEY DAVID F.OLLIS2222 年出版753 页ISBN：0070032106
JAMES M.MCKEEVER AND BENEDICT KRUSE1971 年出版94 页ISBN：0471584401
（美）Kenn Scribner，（美）Mark C.Stiver著；刘勇，宋继斌译2002 年出版312 页ISBN：7115102554
（美）格拉瑟（Mark Glasser）等编著；王欣等译2007 年出版294 页ISBN：9787811143706
本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......
The Oxford handbook of public accountability
edited by Mark Bovens2016 年出版717 页ISBN：
