Книги / тег / тройки Хоара

Книги по тегу #тройки Хоара

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

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

A

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

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