来自专业的译者、企业、网页和免费的翻译库。
添加一条翻译
形式验证
formal verification
最后更新: 2014-04-22 使用频率: 3 质量: 参考: Wikipedia
形式:
form:
最后更新: 2016-12-04 使用频率: 33 质量: 参考: Wikipedia