formal equivalence checking formal equivalence 形式對(duì)等formal education 正規(guī)教育；形式教育formal dress n. 禮服formal discipline [心理學(xué)]形式訓(xùn)練formal description language [計(jì)算機(jī)科學(xué)技術(shù)]形式描述語(yǔ)言formal description [計(jì)] 形式描述formal denotational semantics [語(yǔ)言學(xué)]形式表示語(yǔ)義[計(jì)算機(jī)科學(xué)技術(shù)]形式標(biāo)志語(yǔ)意formal definition and theory [計(jì)算機(jī)科學(xué)技術(shù)]形式定義和理論formal definition [計(jì)] 形式定義；形式語(yǔ)義formal deduction 形式推導(dǎo)formal declarer [計(jì)算機(jī)科學(xué)技術(shù)]形式說(shuō)明詞形式宣告子formal curriculum [語(yǔ)言學(xué)]正式課程formal contract note [經(jīng)濟(jì)學(xué)]要式契約書(shū)formal contract and informal contract [法學(xué)]要式合同與不要式合formal contract 正式合同；流通票據(jù)（可轉(zhuǎn)讓的票據(jù)）；要式合同formal contingent liabilities [經(jīng)濟(jì)學(xué)]正式或有負(fù)債formal conditional statement [計(jì)算機(jī)科學(xué)技術(shù)]形式條件敘述formal concept analysis formal authority theory [經(jīng)濟(jì)學(xué)]正式權(quán)限說(shuō)