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

单词	程序分析
释义	程序分析 Encyclopedia 理学程序分析释 program analysis程序分析一种自动分析计算机程序的正确性、健壮性、安全性和性能等特性的方法。 Mathematics analysis of programs程序分析
随便看	retroactive interference retroactivity of criminal law retroarc basin retroarc foreland basin retrocaval ureter retrocession retrocochlear deafness retro Diels Alder reaction retro Diels-Alder reaction retro-Diels-Alder reaction retrodiffusion retrodirective mirror retrodirective systems retrodirector retroengine retrofire retrofitting existing building structure technology retroflex retroflex rhyming groups retrofocus retrogradation retrograde retrograde aldol condensation retrograde amnesia retrograde condensate phenomenon

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