计算机术语“correctness proof”的中英文意思、释义、翻译及用法-Macos计算机英汉词典

术语	correctness proof
释义	correctness proof 正确性证明
随便看	rail passenger transportation rail voltage railway division communication system railway signalling RAIN rainbow net rainbow workstation rain-flow-cycle RAIR raise raised raised character raised cosine pulse raised floor raise selection raise statement raising the typing line Rajchman plate Rajchman selection switch RAK RAL RALF RALU RALV ram

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