【程序正确性证明】英语怎么说_在线翻译

程序正确性证明

在例句中比较

[计] proof of program correctness

... 程序正确性检查 program validation; 程序正确性证明 proof of program correctness; 程序执行 program execution; ...

基于40个网页-相关网页

[计] program correctness proof

... 程序正确性 program correctness 程序正确性证明 program correctness proof 程序证明 program certification ...

基于6个网页-相关网页

计算机科学技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

本文阐明了程序正确性证明的重要意义与其内涵，给出了程序的正确性证明的构思。并通过一个具体实例说明了程序的正确性证明的方法和步骤。

This paper clarifies the significance of proving the correction of the program and its connotation, presents the thought about proving, and illustrates the method and the steps.

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句