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

Потієнко, Степан Валерійович.
Алгебраїчні методи верифікації асинхронних паралельних систем:автореф. дис ... канд. фіз.-мат. наук / С. В. Потієнко. – Київ : [б. в.], 2009. – 16 с.

ББК З8/9

Предметні рубрики = Энергетика, радиоэлектроника : радиоэлектроника

1548320 ОФ