Курсы
Лекторы
Школьникам
О проекте
Войти
Главная
/
Курсы
/
Методы искусственного интеллекта в задачах анализа данных и верификации программ
/
Лекция 7. Шифрование электронных платежей и model checking
Система шифрования и атаки на неё
x 1.00
Математика
Методы искусственного интеллекта в задачах анализа данных и верификации программ
Лекция 7. Шифрование электронных платежей и model checking
Миронов
Андрей Михайлович
Предыдущая лекция
Следующая лекция
00:17
Система шифрования и атаки на неё
22:24
Протоколы и схемы электронных платежей
1:08:33
Model checking
Курсы
Лекторы
Школьникам
О проекте
Контакты
Свяжитесь с нами
Отправить
2025 МГУ имени М.В. Ломоносова
Условия использования сайта
Сведения об образовательной организации
Нашли ошибку?
Лекция 7. Шифрование электронных платежей и model checking | Открытые видеолекции учебных курсов МГУ
