|
| Д | | 14548 | Омельчук, Людмила Леонідівна.
Аксіоматичні системи специфікацій програм над номінативними даними [Текст] : Дис. ... канд. фіз.-мат. наук. Спец. 01.05.01 - теоретичні основи інформатики та кібернетики / Омельчук Л.Л.; КНУТШ. — Київ, 2007. — 142л. + Додатки: л.135-142. | |
| | |
|
