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