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

Рейтинг:  0 / 5

Звезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активна
 

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



';



Видеотека

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