Thursday, 11 September, 2025г.
Где искать: по сайтам Запорожской области, статьи, видео ролики
пример: покупка автомобиля в Запорожье
Лекция 2 | Программный анализ и формальные методы верификации | Наталья Шарыгина | Лекториум
У вашего броузера проблема в совместимости с HTML5
Лекция 2 | Курс: Программный анализ и формальные методы верификации | Лектор: Наталья Шарыгина | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/26548
Другие лекции по курсу "Программный анализ и формальные методы верификации" доступны для просмотра по ссылке: https://www.youtube.com/playlist?list=PL-_cKNuVAYAVFfyU20FdL35gSjlYTQ-1X
Подписывайтесь на канал: https://www.lektorium.tv/ZJA
Следите за новостями:
https://vk.com/openlektorium
https://www.facebook.com/openlektorium
Теги:
Natasha Sharygina Computer Science Лекториум Computer Science клуб ПОМИ РАН Программный анализ формальные методы верификации
Похожие видео
Мой аккаунт