B, ProB, Clojure, language embedding, meta-programming, tool ... (equivalent to enumerated types in programming languages). In the.
確定! 回上一頁