程式正確性証明

中 文 程式正確性証明

英 文 proof of program correctness

出 處 電子計算機名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
程式正確性証明 proof of program correctness 【電子計算機名詞】
程式正確性 program correctness 【電子計算機名詞】
正確性證明 correctness proving 【電子工程】
部分正確性證明 partial correctness proof 【電子計算機名詞】
正確性證明 correctness proving 【電子計算機名詞】
正確性證明 correctness proof 【電子計算機名詞】
正確性之證明 proof of correctness 【電子工程】
正確性之證明 proof of correctness 【電子計算機名詞】
程式複雜性 program complexity 【資訊與通信術語辭典】
程式相容性 program compatibility 【資訊與通信術語辭典】
完全正確性 total correctness 【電子工程】
部分正確性 partial correctness 【電子工程】
黑寡婦程式(破壞性軟體) black widow 【電子計算機名詞】
應用程式完整性 application integrity 【電子計算機名詞】
應用程式相容性工具箱 application compatibility toolkit 【電子計算機名詞】
終端機可程式規劃性 terminal programmability 【電子計算機名詞】
部分正確性 partial correctness 【電子計算機名詞】
優先程式正反器 priority program flipflop{=PPFF} 【電子計算機名詞】
程式可移性 program portability 【電子計算機名詞】
程式模組性 program modularity 【電子計算機名詞】