“program correctness”的概念、定义、翻译、参考文献-科学参考

单词	program correctness
释义	program correctness Encyclopedia 理学程序正确性释 program correctness程序正确性程序是否正确地实现了预定目标。 Computer 理论计算机科学程序理论释文 program correctness程序正确性
随便看	有界曲率有界曲率流形有界曲率空间有界有序集有界极小化有界极小化算子有界格有界横坐标有界次数有界泛函有界流形有界测度有界深度优先搜索有界滞后有界滞量有界滤过有界特征有界特征函数有界畸变有界的有界的模平方根有界真值表归约于有界矩阵有界空间有界等离体

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。