形式驗證
中 文 形式驗證
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 形式驗證 | formal verification | 【電子計算機名詞】 |
| 形式證明 | formal proof | 【電子計算機名詞】 |
| 測驗形式 | test form | 【新聞傳播學名詞】 |
| 形式證明；形式證法 | formal proof | 【數學名詞】 |
| 形式行為主義 | Formal Behaviorism | 【教育大辭書】 |
| 形式運思期 | Formal Operational Stage | 【教育大辭書】 |
| 形式訓練說 | Formal Discipline Theory | 【教育大辭書】 |
| 形式語言 | Formal Language | 【教育大辭書】 |
| 形式對象 | Formalobjekt | 【教育大辭書】 |
| 形式訓練 | Formal Discipline | 【教育大辭書】 |
| 形式科學 | Formalwissenschaft | 【教育大辭書】 |
| 形式知覺 | Form Perception | 【教育大辭書】 |
| 形式主義 | Formalism | 【教育大辭書】 |
| 形式化 | Formalization | 【教育大辭書】 |
| 形式 | Form | 【教育大辭書】 |
| 符號形式哲學 | Symbol Form Philosophy | 【教育大辭書】 |
| 知識形式 | Forms of Knowledge | 【教育大辭書】 |
| 非形式行為主義 | Informal Behaviorism | 【教育大辭書】 |
| 切分音形式歌舞 | Zoppa | 【舞蹈辭典】 |
| 群舞形式 | Communal Dance Form | 【舞蹈辭典】 |