proof of program correctness
基本解释
[计] 程序正确性证明
上一个单词：proof of program
下一个单词：proof of will
在线工具
proof of program correctness的中文意思、音标与词形变化
本地收录770002条英汉词条，查询中文解释、英文释义、音标及词形变化，支持单词前缀检索。
词条数据：ECDICT（音标以英式为主）
本地收录770002条英汉词条，查询中文解释、英文释义、音标及词形变化，支持单词前缀检索。
上一个单词：proof of program
下一个单词：proof of will
词条数据：ECDICT（音标以英式为主）