Bücher — correctness proofs

EN

COMPUTERALGORITHMEN: Korrektheitsbeweise und Leistungsanalysen

A

Shashank K. Mehta

Algorithmen und Theorie