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

单词	partial correctness
释义	partial correctness Encyclopedia 理学程序正确性释 partial correctness部分正确性对给定的输入，程序只要终止就一定满足规约。 Mathematics partial correctness部分正确性 Computer 理论计算机科学程序理论释文 partial correctness部分正确性
随便看	朱诺朱诺号朱谋垔朱谕朱贞木朱赵伟朱起东朱起凤朱践耳朱载堉朱载堉舞学朱载堉舞谱朱进才朱道本朱邦芬朱邪执宜朱里厄，P. 朱钧珍朱铭盘朱锐朱长文朱门玉碎朱雀号朱雀大街朱雀航

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