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