Книги / тег / доказательство корректности

Книги по тегу #доказательство корректности

всего · 2
EN

COMPUTER ALGORITHMS: Correctness Proofs and Performance Analyses

A

Shashank K. Mehta

Алгоритмы и теория
RU
Доказательство корректности программ

Доказательство корректности программ

A

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

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