Информация об авторе
Timakov, A.
Выпуск | Раздел | Название | Файл |
№ 4 (2023) | ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ | ВАРИАНТ РЕАЛИЗАЦИИ ПРОЦЕДУРЫ АНАЛИЗА ИНФОРМАЦИОННЫХ ПОТОКОВ В ПРОГРАММНЫХ БЛОКАХ PL/SQL С ИСПОЛЬЗОВАНИЕМ ПЛАТФОРМЫ PLIF | |
№ 1 (2024) | ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ | Описание семантики языка Paralocks в TLA+ |