制定形式证法的英文

• making formal proofs that programs meet specifications part of contracts

• "制定"英文翻译    lay down; draw up; formulate ...
• "形式"英文翻译    form; shape; layout; modalit ...
• "证"英文翻译    prove; verify; demonstrate
• "法"英文翻译    law
• "形式证法" 英文翻译 :    formal proof
• "非形式证明" 英文翻译 :    informal proof
• "形式证明" 英文翻译 :    formal proof
• "不定形式" 英文翻译 :    indefinite form; indeterminate form; infinite form
• "定形式, 定型" 英文翻译 :    definite form
• "法定形式" 英文翻译 :    legalform
• "否定形式为" 英文翻译 :    be warned not to do
• "正半定形式" 英文翻译 :    positive semidefinite form
• "思维形式的辩证法" 英文翻译 :    dialectics of thinking form
• "不定型 不定形式" 英文翻译 :    indefiniteform
• "不定形式编码" 英文翻译 :    free form coding
• "固定形式编码" 英文翻译 :    fixed form coding
• "固定形式公函" 英文翻译 :    standard letter
• "其否定形式为" 英文翻译 :    pretend not to do sth
• "是非限定形式" 英文翻译 :    be being beenen
• "用户决定形式" 英文翻译 :    user-determined form
• "证法" 英文翻译 :    demonstration
• "半正定型 正半定形式" 英文翻译 :    positivesemidefiniteform
• "不定形式的计算" 英文翻译 :    evaluation of indeterminate forms
• "法定方式, 法定形式" 英文翻译 :    legal form
• "返回顾客指定形式" 英文翻译 :    rcaf returned customer assignment form