|
РА349925 Омельчук, Людмила Леонідівна. Аксіоматичні системи специфікацій програм над номінативними даними [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / Омельчук Людмила Леонідівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2007. - 17 с.
Тематичний рубрикатор:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
|