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

单词	程序分析
释义	程序分析 Encyclopedia 理学程序分析释 program analysis程序分析一种自动分析计算机程序的正确性、健壮性、安全性和性能等特性的方法。 Mathematics analysis of programs程序分析
随便看	Li Jingxi Li Jingxiong Li Jinhong Li Jinhui Li Jinlou Li Jinquan Li Jinsheng Li Jinshun Li Jinwen Li Jinxi Lijin Xian Li Jinzhi Li Jinzhong Li Jiqian Li Jiwei Li Jiye Li Ju Lijuba Dao Li Jue Li Jun Li Junmin Li Junweng Poetic Talks Li Junxian Li Junyu Poems Li Kai

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