proof of program correctness

英 [proof of program correctness]
美 [proof of program correctness]

中文释义

[计] 程序正确性证明

单词分析

单词结构：

proof of program correctness

字母数：28

记忆提示

🎯 重点记忆：

  • 单词拼写：proof of program correctness
  • 核心含义：[计] 程序正确性证明

最近查询：

backseat drivers bond felon carpentry tongue degenerative renal disease dinner-guests hydrocracker illurin balsam kerivoula titania rocker-type crystallizer subject-

更新时间：2025-03-16 15:27:33