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

术语	formal verification
释义	formal verification 形式证明
随便看	unified formalism unified gauge field theory unified system development unified viscoplastic theory unifier unifile volume uniflow unifluxor uniform uniform approximation uniform array-based microcomputer uniform baseline offset uniform bound uniform channel uniform command language uniform commercial code uniform computing array uniform convergence uniform cost criterion uniform damping control uniform distribution uniform encoding uniform evaluation rule uniform function uniform game tree

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