DESIGN FOR TRUSTWORTHY SOFTWARE可信赖的软件开发
（美）BIJAY K.JAYASWAL，PETER C.PATTON2008 年出版511 页ISBN：9787302172826
本书详细介绍了几个已被证明为有效的质量方法的理论和实践，它们适合于软件开发，可以很好地交互使用。适用于软件开发企业的开发、管理人员。...
DEVELOPING THREE-DIMENSIONAL CAD SOFTWARE WITH THE IBM PC
C.STAN WEI2222 年出版320 页ISBN：0824777913
Lecture Notes in Computer Science 4582 Public Key Infrastructure 4th European PKI Workshop:Theory an
EuroPKI 20072007 年出版374 页ISBN：9783540734079
AN INTRODUCTION TO SOFTWARE PHYSICS:THE MEANING OF COMPUTER MEASUREMENT
KENNETH W.KOLENCE2222 年出版201 页ISBN：007035247X
星球大战 死星完全图解 DS 1 orbital battle station owner's workshop manual
（美）赖德·温德姆著；（美）克里斯·雷夫，克里斯·特里瓦斯绘；徐辰译2016 年出版123 页ISBN：9787302426547
本书全面介绍了《星球大战》电影中最著名的人造天体死星，并配有精美的图片。特别是全部重新手续的星球结构剖视图，为星战爱好者带来的令人惊叹的阅读体验。...
嵌入式软件概论Embedded Software：The Works
（美）ColinWalls著2007 年出版337 页ISBN：781124215X
本书总结了作者从事嵌入式系统开发几十年的经验，对嵌入式软件开发中经常会遇到的一些问题进行了分析和解答，涉及面较广，几乎涵盖了嵌入式软件的所有方面，包括处理器体系架构、C/C++编程语言、开发环境和工具、...
Software testing principles and practice = 软件测试 原理与实践（英文版）
Stephen Brown ; Joe Timoney ; Tom Lysaght ; Deshi (叶德仕) Ye2012 年出版194 页ISBN：7111388630
Lecture Notes in Computer Science 341 Software Reliability Modelling and Identification
1988 年出版209 页ISBN：3540506950
Informatik-Fachberichte 36 The Use of Formal Specification of Software
1980 年出版388 页ISBN：3540104429
