formal – phrases

Terms for subject Information technology containing formal | all forms | exact matches only

English	Chinese
arithmetization of formal system	形式系统算术化
array formal parameter	数组形式参数
formal address	形式地址
formal analogy	正规类推
formal argument	形式变元
formal development method	形式开发方法
formal grammar	形式文法
formal language	形式〔人工〕语言
formal language and automaton	形式语言与自动机
formal language theory	形式语言理论
formal logic	形式逻辑
formal message	形式报文
formal model	形式模型
formal model description	形式模型描述
formal parameter	形式参数
formal parameter list	形式参数表
formal proof	形式证明
formal reasoning	形式推理
formal security policy model	形式化安全策略模型
formal semantics language	形式语义语言
formal specification	形式规格说明
formal specification of protocol	协议形式规范
formal system	形式系统
formal testing	形式化测试
formal verification	形式化验证
media-stored formal	媒体存储格式