The abstraction function and key invariants for the correctness of the code.
英
美
可维持程式码正确性的抽象函式与关键常量。
目录
查词历史
英 汉