А 145968 Панченко, Тарас Володимирович.     Композиційні методи специфікації та верифікації програмних систем [Текст] : Автореф. дис. ...канд. фіз.-мат.наук: Спец.01.05.03 / Тарас Володимирович Панченко; КНУТШ. — Київ, 2006. — 17с.

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н - наукова	1	Перейти на сайт