Опис документа:
| |
Шифр: |
Д |
Авт. знак: |
14548 |
Автор: | Омельчук Л.Л. |
Назва: | Аксіоматичні системи специфікацій програм над номінативними даними |
Від. щодо назв.: |
Дис. ... канд. фіз.-мат. наук. Спец. 01.05.01 - теоретичні основи інформатики та кібернетики |
Відповідальність: |
Омельчук Л.Л.; КНУТШ |
Місто: | Київ |
Рік: | 2007 |
Сторінок: | 142л. |
ББК: |
З973.2-018 |
Тип документу: |
Дисертація |
Пошук: заповніть хоча б одне з полів
|
|