毛志雄主编;余小斐,张华,熊登峰编著2008 年出版219 页ISBN:9787113089610
本书主要介绍了软件测试实际工作中的技能及相关的实用软件测试理论。
李晓梅,吴建平编著2007 年出版277 页ISBN:7030194616
本书内容包括三大部分:第一部分介绍并行计算基础理论与技术;第二部分介绍数值并行计算方法;第三部分介绍编程环境与应用。
毛靖添,景晓宇,王春慧主编2007 年出版197 页ISBN:9787807176824
本书主要介绍了软件测试的基础知识、技巧、管理及测试文档对测试技术完成的作用等。
(丹)比约纳(Bjorner,D.)著2007 年出版802 页ISBN:9787302154327
本书介绍系统与语言的规约的基本原理和技术。
孟建军,殷红主编2008 年出版365 页ISBN:9787560620046
本书系统介绍了微机测控系统软件设计的基本思路、方法和关键技术。