Перегляд за Автор "Moroz, O.Yu."
Зараз показуємо 1 - 1 з 1
Результатів на сторінці
Налаштування сортування
Документ Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем(Харків : Харківський національний університет імені В.Н. Каразіна, 2023) Мороз, Ольга Юріївна; Moroz, O.Yu.Дисертація присвячена верифікації паралельних програм для інформаційних управляючих систем, що є складною та важливою задачею з багатьма проблемами та викликами