proving program的意思|示意

美 / ˈpru:viŋ ˈprəuɡræm / 英 / ˈpruvɪŋ ˈproˌɡræm /

验证程序


proving program相关短语

1、 proving program correct 证明程序正确性,征明程序正确性

2、 Program Proving 程序证明

3、 proving of concurrent program 翻译,并行程序证明英语

4、 analytic program proving 解析程序证明

5、 program proofprogram proving 程序证明