axiomatic specification 📖 中文释义 [计] 公理说明, 公理描述 ← axiomatic semantics approach A 字母词表 axiomatic system →