硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
Object-Oriented Software Engineering A Use Case Driven Approach
Ivar Jacobson2003 年出版0 页ISBN：
舰艇作战软件系统工程管理 Warship Combat Software Systems Engineering Management
赵晓哲编著2009 年出版0 页ISBN：
Computers and End-User Software with BASIC Third Edition
HarperCollins Publishers1991 年出版0 页ISBN：
MOTION PLANNING FOR MANIPULATORS WITH MANY DEGREES OF FREEDOM-THE BB-METHOD
1998 年出版171 页ISBN：3896011952
THE GENERAL METHOD OF SOCIAL WORK PRACTICE:A PROBLEM-SOLVING APPROACH SECOND EDITION
1990 年出版356 页ISBN：0133503801
RF AND DIGITAL SIGNAL PROCESSING FOR SOFTWARE-DEFINED RADIO
TONY J2009 年出版383 页ISBN：9780750682107
THE FABRIC OF MOBILE SERVICES Software Paradigms and Business Demands
Shoshana Loeb2009 年出版246 页ISBN：9780470277997
DESIGN FOR TRUSTWORTHY SOFTWARE可信赖的软件开发
（美）BIJAY K.JAYASWAL，PETER C.PATTON2008 年出版511 页ISBN：9787302172826
本书详细介绍了几个已被证明为有效的质量方法的理论和实践，它们适合于软件开发，可以很好地交互使用。适用于软件开发企业的开发、管理人员。...
