Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Политика конфиденциальности | Согласие на обработку персональных данных
Введение в формальную верификацию программ, лекция 4 | А. Трунов
Введение в формальную верификацию программ, лекция 1 | А. Трунов
Конец Зеленского
Впервые за 30 лет!.. / Пугающий прогноз ЦБ || Дмитрий Потапенко*
Введение в формальную верификацию программ, лекция 10 | А. Трунов
