Бібліотека Київського столичного університету імені Бориса Грінченка

Електронний каталог бібліотеки

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Пошуковий запит: (<.>K=алгебраїчне моделювання<.>)

Загальна кількість знайдених документів : 1

Летичевський, О. О.
Огляд сучасних методів захищеності та безпеки програмних систем [Текст] / О. О. Летичевський, В. С. Песчаненко, Я. В. Гринюк // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2019. - № 5. - С. 156-169. - Бібліогр. в кінці ст. . - ISSN 0023-1274

Кл.слова (ненормовані):
алгебраїчне моделювання -- алгебра поведінок -- кібербезпека -- інсерційне програмування -- формальні методи -- символьні методи -- символьне моделювання -- пошук вразливостей
Дод.точки доступу:
Песчаненко, В. С.
Гринюк, Я. В.

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)