自動程式驗證
中 文 自動程式驗證
英 文 automatic program verification
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 自動程式驗證系統 | automatic program verification system | 【資訊與通信術語辭典】 |
| 自動程式驗證系統 | automatic program verification system | 【電子計算機名詞】 |
| 自動程式驗證 | automatic program verification | 【電子計算機名詞】 |
| 自動程式認證 | automatic program certification | 【電子計算機名詞】 |
| 自動程式中斷 | automatic program interrupt | 【資訊與通信術語辭典】 |
| 自動程式館呼叫 | automatic library call | 【資訊與通信術語辭典】 |
| 自動程式計劃 | automatic programming | 【電子工程】 |
| 自動程式系統 | automatic program system{=APS} | 【電子計算機名詞】 |
| 自動程式合成 | automatic program synthesis | 【電子計算機名詞】 |
| 自動程式分段 | automatic program segmentation | 【電子計算機名詞】 |
| 自動程式最佳化 | automatic program optimization | 【電子計算機名詞】 |
| 自動程式載入裝置 | automatic program loading unit{=APLU} | 【電子計算機名詞】 |
| 自動程式載入 | automatic program load{=APL} | 【電子計算機名詞】 |
| 自動程式中斷 | automatic program interruption | 【電子計算機名詞】 |
| 自動程式中斷 | automatic program interrupt{=API} | 【電子計算機名詞】 |
| 自動程式產生器 | automatic program generator{=APG} | 【電子計算機名詞】 |
| 自動程式產生 | automatic program generation | 【電子計算機名詞】 |
| 自動程式執行 | automatic program execution | 【電子計算機名詞】 |
| 自動程式控制 | automatic program control{=APC} | 【電子計算機名詞】 |
| 自動程式館更新 | automatic library update | 【電子計算機名詞】 |