霍尔逻辑的网络释义
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
繁体字转换器为您提供霍尔逻辑繁体，霍尔逻辑的老写，霍尔逻辑的繁体，霍尔逻辑的繁体字如何写，霍尔逻辑的繁体字，霍尔逻辑的繁体字转换对照，霍尔逻辑的简繁体互转，霍尔逻辑的繁体字怎么写，霍尔逻辑繁体字，霍尔逻辑繁体笔画，霍尔逻辑的简繁体字怎么写，霍尔逻辑简体繁体转换，怎么写霍尔逻辑的繁体字，霍尔逻辑的繁体怎么写等霍尔逻辑繁体字在线查询。