“程序分析”的概念、定义、翻译、参考文献-科学参考

单词	程序分析
释义	程序分析 Encyclopedia 理学程序分析释 program analysis程序分析一种自动分析计算机程序的正确性、健壮性、安全性和性能等特性的方法。 Mathematics analysis of programs程序分析
随便看	连通幺拟群连通广群连通序列连通度连通度对连通性连通性准则连通性区域连通性序偶连通性数连通性条件连通性的阶连通成分连通拓扑连通拓扑空间连通控制集连通数连通方阵连通曲线连通曲面连通有向图连通李子群连通李群连通格林函数连通格林函数的生成泛函

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