• 图书
  • 标签：correctness proofs

书籍 — correctness proofs

EN

计算机算法：正确性证明与性能分析

A

Shashank K. Mehta

算法与理论