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

Летичевський, Олександр Олександрович.
Символьні методи в тестуванні та верифікації високонадійних програмних систем : автореф. дис ... д-ра фіз.-мат. наук / О. О. Летичевський. – Київ, 2016. – 40 с.



Предметні рубрики = МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ : Математика : математична кібернетика : автореферати - математична кібернетика

1650322 ОФ