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

Губа, Антон Андрійович.
Інсерційне моделювання та верифікація багатопотокових систем : автореф. дис ... канд. фіз.-мат. наук / А. А. Губа. – Київ, 2015. – 20 с.



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

1640000 ОФ