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

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



';



Видеотека

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