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

单词	程序分析
释义	程序分析 Encyclopedia 理学程序分析释 program analysis程序分析一种自动分析计算机程序的正确性、健壮性、安全性和性能等特性的方法。 Mathematics analysis of programs程序分析
随便看	gene flow model gene for gene hypothesis gene frequency gene fusion gene gun gene gun method Gene Hackman gene identification analysis gene imaging gene imaging agents gene inactivation gene introgression gene introgression of invasive species gene knock-down，KD gene knockin，KI gene knockout gene knockout，KO gene library gene linkage gene localization gene loci gene locus gene manipulation gene map gene mapping

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