Єгоров, Є.О.2024-10-152021Єгоров Є.О. Дослідження засобів автоматизації проєктування комп’ютерної системи із використанням формальних методів : дипломна робота ... магістра : 123 «Комп’ютерна інженерія» / Єгоров Є.О. - Київ, 2021. – 63 с.https://dglib.nubip.edu.ua/handle/123456789/12929ukзасоби автоматизаціїпроєктування комп’ютерної системиформальні методиOther