马红云等编著2011 年出版138 页ISBN：9787502953386
本书从气象科研和业务需求出发，较为详细地介绍了GrADS绘图软件的基本使用方法。可作为气象类专业学生和气象科研、业务工作者参阅。
毛志雄主编；余小斐，张华，熊登峰编著2008 年出版219 页ISBN：9787113089610
本书主要介绍了软件测试实际工作中的技能及相关的实用软件测试理论。
李晓梅，吴建平编著2007 年出版277 页ISBN：7030194616
本书内容包括三大部分：第一部分介绍并行计算基础理论与技术；第二部分介绍数值并行计算方法；第三部分介绍编程环境与应用。
毛靖添，景晓宇，王春慧主编2007 年出版197 页ISBN：9787807176824
本书主要介绍了软件测试的基础知识、技巧、管理及测试文档对测试技术完成的作用等。
（丹）比约纳（Bjorner，D.）著2007 年出版802 页ISBN：9787302154327
本书介绍系统与语言的规约的基本原理和技术。
