Hoare axiom

Hoare axiom 基本解释

[计] 霍尔公理

重点词汇

Hoare [计] 霍尔

axiom n. 自明之理, 公理, 原理, 格言 [法] 公理, 原理, 原则