“程序正确性”的概念、定义、翻译、参考文献-科学参考

单词	程序正确性
释义	程序正确性 Encyclopedia 理学程序正确性释 program correctness程序正确性程序是否正确地实现了预定目标。 Computer 理论计算机科学程序理论释文 program correctness程序正确性
随便看	Amenhotep Ⅲ amenorrhea amensalism ament Amentoo-Miensa America Corporation for Public Broadcasting American Academy of Nursing American Accounting Association American Advanced Train Control System American Aggression against Panama Americanah American Airlines American Alliance of Museums American Annexation of Florida American Anthropological Association American Anti-Imperialist League American Anti-Slavery Society American Art Education American Association for Applied Linguistics American Association for Laboratory Animal Science American Association for the Advancement of Science American Association of Applied Linguistics American Association of Community Theatre American Association of Law Libraries American Association of Petroleum Geologists（AAPG）

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