Знайдено документів: 1
Керівник: Львов Михайло Сергійович. Методи комп'ютерної алгебри та інсерційного моделювання в системах статичного аналізу та верифікації програмного забезпечення.
Херсонський державний університет. № 0116U004732
Знайдено документів: 1
Оновлено: 2026-03-17
