Курсы
Лекторы
Школьникам
Простыми словами
О проекте
HUB
open navigation menu
Войти
Главная
/
Курсы
/
Методы искусственного интеллекта в задачах анализа данных и верификации программ
/
Лекция 7. Шифрование электронных платежей и model checking
Система шифрования и атаки на неё
x 1.00
Лекция 7. Шифрование электронных платежей и model checking
К предыдущему видео
Дальше
Миронов
Андрей Михайлович
00:17
Система шифрования и атаки на неё
22:24
Протоколы и схемы электронных платежей
01:08:33
Model checking