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