Миронов А.М.-Анализ протоколов безопасности-5.Теория процессов.Примеры верификации свойств процессов
TIP! Right-click and select "Save link as..." to download.
Курс: Интеллектуальные методы анализа протоколов безопасности
Ссылка на плейлист:
https://www.youtube.com/playlist?list=PLcsjsqLLSfNB1JuXQQoULiRVOiTp7A7IN #мгу #мехмат #миронов #безопасность #интеллектуальныеметоды