程序正确性证明
- 程序正确性证明的英文
英语翻译
programming correctness proof; proof of program correctness
拓展翻译
部分正确性证明
partial correctness proof程序正文
routine text补充性证明
adminicle不正确性
incorrectness部分正确性
partial correctness并行程序
concurrent program并行程序设计
concurrent programming; parallel programing并行程序证明
proving of concurrent program并行分析程序
Paralyzer并行加工程序
concurrent processor并合式程序设计
hybrid programming并售程序
bundled program驳回诉讼的程序
dismiss proceedings博弈程序
game playing program; game program补充程序
supplementary procedure捕押程序
detention arrest pocedure不定重复分程序块
indefinite repeat block不合程序的动议
improper motion不合法律程序的议事录
unwarranted proceedings不可逆程序
irrversible process
