Автореферат
РЕФ 166118

Богдан, Ірина Валентинівна.
Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм : автореф. дис ... канд. техн. наук / І. В. Богдан. – Чернівці, 2015. – 20 с.



Предметні рубрики = НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ : Загальні питання науки та культури : комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних : автореферати - комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних

1640717 ОФ