Знайдено 1 документів
Мороз Ольга Юріївна. Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем
: Доктор філософії :
спец.. 122 - Комп’ютерні науки :
захищена 2024-01-24; .
Харківський національний університет імені В. Н. Каразіна. – Харків,
0823U102005.
Знайдено 1 документів
Оновлено: 2024-07-21