Д 17590 Россада, Тетяна Володимирівна.     Формалізація, дослідження та застосування методів номінації у мовах специфікації програм [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.01 / Россада Тетяна Володимирівна ; Київ. нац. ун-т ім. Т. Шевченка. — Київ, 2012. — 131 л.

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