|
|
РА417735
Богдан, Ірина Валентинівна.
Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Богдан Ірина Валентинівна ; Черніг. нац. технол. ун-т. - Чернігів, 2015. - 20 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Чернігівський національний технологічний університет
Видання зберігається у :
Основний фонд
|
|