Книги — correctness proofs

EN

COMPUTER ALGORITHMS: Correctness Proofs and Performance Analyses

A

Shashank K. Mehta

Алгоритмы и теория