英语词汇“程序正确性证明”的读音、翻译、释义、用法及例句-英译汉、汉译英、英汉互译翻译词典-学识教育网

词汇	程序正确性证明
类别	英译汉、汉译英、英汉互译翻译词典
释义	程序正确性证明【计】 programming correctness proof proof of program correctness
随便看	细胞溢出细胞溶素细胞溶解细胞溶解液细胞溶解的细胞溶解酶细胞溶解酶的细胞溶酶细胞滋养层细胞激动素类细胞激素细胞物理学细胞状的细胞珠蛋白细胞球蛋白细胞生成细胞生物学细胞生物物理学细胞生理学细胞生长素细胞电泳细胞疗法细胞病细胞病理学细胞瘤

学识教育网英语在线翻译词典收录了913114条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。