基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]結(jié)構(gòu)化操作語(yǔ)義詞組短語(yǔ)短語(yǔ)Dynamic structured operational semantics 動(dòng)態(tài)結(jié)構(gòu)化操作語(yǔ)義structured operational semantics更多詞組專業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)結(jié)構(gòu)化操作語(yǔ)義