程式驗證器

中 文 程式驗證器

英 文 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 【資訊與通信術語辭典】