数学预备知识
Preliminary knowledge of mathematics
以上为机器翻译结果，长、整句建议使用 人工翻译 。
第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
youdao
应用推荐
模块上移
模块下移
不移动