proof of program correctness

英 文 proof of program correctness

中 文 程式正確性証明

出 處 電子計算機名詞

proof of program correctness 程式正確性証明 【電子計算機名詞】

proof of correctness 正確性之證明 【電子工程】

proof of correctness 正確性之證明 【電子計算機名詞】

segmentation of program 分割程式 【資訊與通信術語辭典】

theory of program correction 程式校正理論 【資訊與通信術語辭典】

non-repudiation with proof of origin 來源證明之不可否認性；具來源證明不可否認性 【電子工程】

non-repudiation with proof of delivery 具投遞送達證明之不可否認性 【電子工程】

end of program with automatic rewind to beginning of program 自程式終端自動捲回至程式始端 【電機工程】

end of program 程式終止 【電機工程】

storage allocations and segmentation of program 儲存體配置與程式分割 【電子計算機名詞】

scope of program identifier 程式標識符範疇 【電子計算機名詞】

theory of program correction 程式校正理論 【電子計算機名詞】

unusual end of program{=UEP} 程式異常結束 【電子計算機名詞】

optional library of program 任選程式庫 【電子計算機名詞】

non-repudiation with proof of origin 來源證明之不可否認性 【電子計算機名詞】

non-repudiation with proof of delivery 具投遞送達證明之不可否認性 【電子計算機名詞】

proof of transport service 傳送證明服務 【電子計算機名詞】

proof of transport 傳送證明 【電子計算機名詞】

proof of transfer 轉移證明 【電子計算機名詞】

proof of submission service 送件證明服務 【電子計算機名詞】