“Hoare logic”的概念、定义、翻译、参考文献-科学参考

单词	Hoare logic
释义	Hoare logic Encyclopedia 理学程序验证释 Hoare logic霍尔逻辑一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。 Computer 理论计算机科学程序理论释文 Hoare logic霍尔逻辑
随便看	风景名胜区管理委员会风景名胜区管理机构风景名胜区类型风景名胜区规划大纲风景名胜区规划布局风景名胜区规划程序风景名胜区设施容量风景名胜区资源容量风景名胜区门票风景名胜资源风景园林假山叠石工程风景园林学风景园林学：人类自然环境的形成风景园林工程风景园林工程安全管理风景园林建设项目管理风景园林施工管理风景园林植物个体生态风景园林植物保护风景园林植物审美风景园林植物景观规划设计风景园林植物种群生态风景园林植物群落生态风景园林楹联风景园林法规

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