（苏）叶弗罗依莫维奇（Ю.Е.Ефроймович），（苏）费金（В.И.Фейгии）著；周述炯译1954 年出版194 页ISBN：
阮炯编著；复旦大学数学系主编2002 年出版287 页ISBN：7309032268
本书系统地介绍了差分方程和常微分方程的各种问题与处理这些问题的方法。第一部分介绍差分方程的归结、求解方法与解的性质；第二部分介绍常微分方程各种可求解的类型及分析求解与数值求解的方法；第三部分介绍...
（美）罗伯特·吉尔平（Robert Gilpin）著；杨宇光，杨炯译2001 年出版363 页ISBN：7208037574
（美）马克·L.赛罗沃（Mark L.Sirower）著；杨炯译2001 年出版307 页ISBN：7806610677
（美）ALIMILI，FAIROUZTCHIER著；颜炯译2016 年出版520 页ISBN：9787302441496
全书分为5大部分，第1部分介绍软件测试的基本概念，探讨软件测试所要完成的目标、软件测试生命周期等；第2部分介绍开展软件测试工作所要掌握的一些数学知识，包括软件规范、程序纠错和验证、软件依赖等；第3部分介绍...
