个人效率圣经＝THE PERSONAL EFFICIENCY PROGRAM
凯利·葛理森（KERRY GLESSON）著；褚耐安译2005 年出版293 页ISBN：
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
OUTDOOR PROGRAM ADMINISTRATION PRINCIPLES AND PRACTICES
GEOFF HARRISON2012 年出版406 页ISBN：
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
CISCO NETWORKING ACADEMY PROGRAM:LAB COMPANION
VOLUME 12000 年出版278 页ISBN：158713022X
ACCOUNTING INFORMATION MANAGER GENERAL LEDGER PROGRAM
JOHN W.WANLASS1992 年出版191 页ISBN：
