程式正確性証明
中 文 程式正確性証明
英 文 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 | 【電子計算機名詞】 |