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

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







Видеотека

Яндекс.Метрика