短語詞組短語formal aesthetic model 形式美學模型formal type model 形式類模型formal semantic model 繙譯;形式語義模型formal data model 形式數(shù)據(jù)模型Formal Description Model 形式化描述模型formal structural model 形式結搆模型formal methods model 方法模型;形式方法模型;形式化方法模型The Formal Methods Model 形式化typed formal description model 類型化的形式化描述模型 返回 formal model