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

Максимець, Олександр Миколайович.
Алгебро-автоматні методи аналізу процедурних програм і реактивних систем : автореф. дис ... канд. фіз-мат. наук / О. М. Максимець. – Київ, 2014. – 20 с.



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

1628975 ОФ