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