Опис документа:
| |
Шифр: |
Д |
Авт. знак: |
17590 |
Автор: | Россада Т.В. |
Назва: | Формалізація, дослідження та застосування методів номінації у мовах специфікації програм |
Від. щодо назв.: |
дис. ... канд. фіз.-мат. наук : 01.05.01 |
Відповідальність: |
Россада Тетяна Володимирівна ; Київ. нац. ун-т ім. Т. Шевченка |
Місто: | Київ |
Рік: | 2012 |
Сторінок: | 131 л. |
ББК: |
З973.2-018.1 |
Тип документу: |
Дисертація |
Примітки: |
Додатки: л. 127-131 |
Пошук: заповніть хоча б одне з полів
|
|