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

Россада, Тетяна Володимирівна.
Формалізація,дослідження та застосування методів номінації у мовах специфікації програм : автореф. дис ... канд. фіз.-мат. наук / Т. В. Россада. – Київ, 2013. – 18 с.

ББК з8/9

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

1612295 ОФ