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

单词	程序分析
释义	程序分析 Encyclopedia 理学程序分析释 program analysis程序分析一种自动分析计算机程序的正确性、健壮性、安全性和性能等特性的方法。 Mathematics analysis of programs程序分析
随便看	绝对秩绝对稳定性绝对稳定性理论绝对稳定的绝对稳定系统绝对稳定解绝对空间绝对等价方法绝对等度连续基绝对簇绝对类域绝对类群绝对精度绝对精神绝对素理想绝对紧统绝对紧集绝对红星等绝对线汇绝对维数绝对置换绝对群绝对能量分布绝对膨胀绝对自我

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