Лекция 23: Доказательство свойств программ

Подробности

Категория: Функциональное программирование от НОУ ИНТУИТ

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