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