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