English 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：

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