This paper presents the steps of the formal derivation method of programs by the development of two problems.

以两个问题的程序开发为例说明了程序的形式推导方法的使用。

youdao

This paper presents the steps of the formal derivation method of programs by the development of two problems.

以两个问题的程序开发为例说明了程序的形式推导方法的使用。

youdao