词典 / 通用词汇

【计】 程序正确性证明

proof of program correctness

暂无补充释义。

相关词条

防潮

damp-proof【建】;moisture protection【科技】;moisture-proof【科技】

耐酸涂料

acid-proof coating【涂料】;acid-proof paint【涂料】;acid-resistant paint【涂料】

补充或纠正词条 →