automatic program verification system中文翻译
中文翻译
自动程序验证系统
相关单词
automatic
读音：[，ɒ:tә'mætik]
n.自动手枪，自动机械
a.自动的，机械的，必然的，无意识的
自动的
program
读音：['prәugræm]
n.节目，节目单，程序，纲要，大纲，计划
vt.规划，拟...计划
vi.安排节目，编程序
程序
程序表
计划，方案，程序
verification
读音：[，verifi'keiʃәn]
n.证实，查证，证明属实
验证
验证
检验，审核，检实
system
读音：['sistәm]
n.系统，体系，制度，方式，秩序，分类原则
系统；体制；体系
系统；体系
系统，系，制度，制，学派
系统，体系，制度
