А | 153557 | Россада, Тетяна Володимирівна. Формалізація, дослідження та застосування методів номінації у мовах специфікації програм [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Россада Тетяна Володимирівна ; М-во освіти і науки України, Київ. нац. ун-т ім. Т. Шевченка. — Київ, 2013. — 18 с. |
| | |
|