Знайдено документів: 1
Інформація × Реєстраційний номер 0116U004732, ( 0217U006013  0218U001338  0219U000269  ) Науково-дослідна робота Назва роботи Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення Керівник роботи Львов Михайло Сергійович, Дата реєстрації 14-03-2016 Організація виконавець Херсонський державний університет Опис роботи створення загальної моделі спеціалізованої програмної системи статичного аналізу програм. Додано в НРАТ 2024-12-10 Закрити
НДДКР РК
Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення
Керівник: Львов Михайло Сергійович. Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення. Херсонський державний університет. № 0116U004732
Знайдено документів: 1

Оновлено: 2026-03-17


Роздрукувати цю сторінку