英语词汇programming correctness proof是什么意思，programming correctness proof的用法、释义、翻译、读音、例句、短语词组-英汉汉英翻译词典

单词	programming correctness proof
释义	programming correctness proof　【计】程序正确性证明
随便看	数英里数英里范围内数落数落数行数表数表数计数计数记数记数论数论数论派新闻语言新闻调查新闻调查新闻资料新闻资料新闻迷新闻迷新闻通报新闻通讯新闻通讯新闻部

英汉汉英翻译词典包含1679246条英汉翻译词条，基本涵盖了全部常用英语单词及常用语的翻译及用法，是英语学习及翻译工作的有利工具。