imported specification

 
  • 導入規約

imported specification的用法和樣例:

例句

  1. These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
    這些貢獻包括編程語言和數據類型的公理化,形式驗證,形式規約與分析。

imported specification的相關資料:

臨近單詞

今日熱詞
目錄 附錄 查詞歷史