Шифрование электронных платежей и model checking 00:00:17 Система шифрования и атаки на неё 00:22:24 Протоколы и схемы электронных платежей 01:08:33 Model checking Курс: Методы искусственного интеллекта в задачах анализа данных и верификации программ Ссылка на плейлист:
Hide player controls
Hide resume playing