axiomatic program model公理化: axiomatization; axiomatize程序: procedure模型: model; pattern公理化模型: axiomatic model程序模型: process model; program model下载手机词典可随时随地查词查翻译
