书籍 — Floyd logic

RU
程序正确性证明

程序正确性证明

A

К. Рустан М. Лейно

算法与理论