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