程式驗證器
中 文 程式驗證器
英 文 program verifier
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 自動化程式驗證器 | automated program verifier | 【電子計算機名詞】 |
| 程式驗證器 | program verifier | 【電子計算機名詞】 |
| 遞增式程式建構器 | incremental program constructor | 【資訊與通信術語辭典】 |
| 式譯程式編譯器 | COMIS | 【電子計算機名詞】 |
| 公式組合程式翻譯器 | formula assembler translator{=FORAST} | 【電子計算機名詞】 |
| 遞增式程式建構器 | incremental program constructor | 【電子計算機名詞】 |
| 初始程式載入器 | initial program loader | 【資訊與通信術語辭典】 |
| 應用程式產生器 | application generator | 【資訊與通信術語辭典】 |
| 中文字庫程式監督器 | Chinese character library supervisor | 【資訊與通信術語辭典】 |
| 解譯程式；解譯器 | interpretive program | 【資訊與通信術語辭典】 |
| 可程式計時器 | programmable timer | 【資訊與通信術語辭典】 |
| 可程式調處器 | programmable manipulator | 【資訊與通信術語辭典】 |
| 可程式控制器 | programmable controller | 【資訊與通信術語辭典】 |
| 可程式計算器 | programmable calculator | 【資訊與通信術語辭典】 |
| 程式暫存器 | program register | 【資訊與通信術語辭典】 |
| 程式產生器 | program generator | 【資訊與通信術語辭典】 |
| 程式計數器 | program counter | 【資訊與通信術語辭典】 |
| 程式控制器 | program controller | 【資訊與通信術語辭典】 |
| 微程式定序器 | microprogram sequencer | 【資訊與通信術語辭典】 |
| 微程式計數器 | micro program counter | 【資訊與通信術語辭典】 |