Chinese translation for "形式化计算机程序"

formalized computer program

Related Translations:

形式化:  formaliseformalisierungformalizationformalize

形式化模型:  formalized model

使形式化:  formalize formalize

形式化算法:  formalized arithmetic

形式化阶段:  formalization stage

形式化测试:  formal testing

形式化方法:  formal methods

形式化规则:  formation rule

形式化索引:  fomalization index

形式化验证:  formal verification

Similar Words：

"形式化的能力问题" Chinese translation, "形式化方法" Chinese translation, "形式化高层规范" Chinese translation, "形式化规则" Chinese translation, "形式化计算机" Chinese translation, "形式化阶段" Chinese translation, "形式化控制" Chinese translation, "形式化了的意义" Chinese translation, "形式化模型" Chinese translation, "形式化内部模式" Chinese translation