| 字词 | 程序正确性证明 |
| 释义 | 【计】 programming correctness proof; proof of program correctness |
汉译英翻译词典收录405719条汉英翻译词条，基本涵盖了全部常用中文字词的英语拼写、翻译、音标、读音、用法、例句等，是英语学习的有利工具。
相关内容11：
热门资讯...
热文观察...
字词 程序正文 释义 【计】 routine text 汉译英翻译词典收录405719条汉英翻译词条，基本涵盖......
单词 Gaelic 释义 Gaelic, a. and n.|gelk|Forms: 8 Gaelick, Galic, 9 Gaelic. Cf. Gadhelic.[f......
字词 程序员源语句 释义 【计】 programmer source statement 汉译英翻译词典收录405719条汉英......
单词 fyvere 释义 fyver(eobs. form of fever.{var l=document.getElementsByTagName("link");va......
单词 trivium 释义 ‖ trivium|trvm|[L. (f. tri-, tri- + via way), a place where three ways ......
字词 程序设计范例 释义 【计】 paradigm of programming 汉译英翻译词典收录405719条汉英翻译......