自动程序证明的英文

• automatic program certification

• "自动"英文翻译    voluntarily; of one's own ac ...
• "程序"英文翻译    procedure
• "证明"英文翻译    prove; testify; bear out
• "程序证明" 英文翻译 :    program proof; program proving
• "并行程序证明" 英文翻译 :    proving of concurrent program
• "解析程序证明" 英文翻译 :    analytic program proving
• "半自动程序" 英文翻译 :    semi-automatic routine; semiautomatic program
• "自动程序" 英文翻译 :    automatic program; automatic routine
• "自动程序编写" 英文翻译 :    automatic program writing
• "自动程序操作" 英文翻译 :    automatic sequential operation
• "自动程序调整" 英文翻译 :    automatic preset
• "自动程序分段" 英文翻译 :    automatic program segmentation
• "自动程序规划" 英文翻译 :    automatic programming
• "自动程序控制" 英文翻译 :    apc; automatic program control; automatic programme control; automatic sequence control; scheduling control automation
• "自动程序设备" 英文翻译 :    automatic sequencing equipment; sequence equipment
• "自动程序设计" 英文翻译 :    aautomatic programming; autoprogramming; automated programming; automatic programmer; automatic programming system; computer aided programming
• "自动程序生成" 英文翻译 :    automatic program generation
• "自动程序验证" 英文翻译 :    automatic program verification
• "自动程序优化" 英文翻译 :    automatic program optimization
• "自动程序语言" 英文翻译 :    automatic program language
• "自动程序制导" 英文翻译 :    automatic preset guidance
• "自动程序中断" 英文翻译 :    automatic program interruption
• "自动程序装置" 英文翻译 :    automatic programer; automatic sequencer; automatic timer
• "自动程序综合" 英文翻译 :    automatic program synthesis
• "自动程序验证程序" 英文翻译 :    automated program verifier