|
РА420784 Летичевський, Олександр Олександрович. Символьні методи в тестуванні та верифікації високонадійних програмних систем [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.03 / Летичевський Олександр Олександрович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2016. - 40 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
|