Finally, this paper gives an analysis by an example of a formal specification based on invoice computing.

最后对基于票据计算的形式规格说明的例子进行了分析。

youdao

Finally, this paper gives an analysis by an example of a formal specification based on invoice computing.

最后对基于票据计算的形式规格说明的例子进行了分析。

youdao