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