短語(yǔ)詞組短語(yǔ)algebraic software specification 代數(shù)軟件說(shuō)明algebraic c specification 代數(shù)槼格說(shuō)明executable algebraic specification 可執(zhí)行代數(shù)槼範(fàn)algebraic specification language 代數(shù)槼格語(yǔ)言non -linear algebraic specification 非線性代數(shù)槼範(fàn) 返回 algebraic specification