软件质量中的数学方法

本书综合介绍开发高质量软件所使用的数学方法，介绍完善的软件工程所必需的数学知识，讨论用于学术研究和工业应用的数学方法。本书的目标是向读者解释数学方法的特点，从而帮助读者应用这些方法解决实际问题。本书共有11章，各章内容如下：1．介绍软件开发所使用的数学方法，回顾比较流行的规范方法，讨论数学证明的种类和作用；2．讲述完善的软件工程必需的数学知识；