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

单词	proof of program correctness
释义	proof of program correctness Mathematics proof of program correctness程序正确性证明
随便看	β射线法 β射线法大气颗粒物监测仪 β射线职业危害 β射线谱 β射线防护 β展开 β平面近似 β延迟中子衰变 β延迟裂变 β延迟质子衰变 β弛豫 β折叠 β折叠链 β指数函数 β振动 β-收敛 β放射性 β放射性核核磁和核电四极共振 β放射源 β无环结构 β模型 β氧化 β-氨基丁酸 β氨基丁酸 β-氨基丙酸)

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