程序证明

英语翻译

proof of program

拓展翻译

并行程序证明
proving of concurrent program

并行程序
concurrent program

并行程序设计
concurrent programming; parallel programing

并行分析程序
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

不可重用程序
nonreusable routine

不确定程序
nondeterministic program

不完全程序
incomplete program

不完全的程序设计
incomplete code design

不完全例程序
incomplete routine