程序的形式推导方法
基于1个网页-相关网页
formal derivation method of programs
程序的形式化推导方法
以上为机器翻译结果，长、整句建议使用 人工翻译 。
This paper presents the steps of the formal derivation method of programs by the development of two problems.
以两个问题的程序开发为例说明了程序的形式推导方法的使用。
youdao
应用推荐
模块上移
模块下移
不移动