Опис документа:
| |
Шифр: |
А |
Авт. знак: |
155135 |
Автор: | Максимець О.М. |
Назва: | Алгебро-автоматні методи аналізу процедурних програм і реактивних систем |
Від. щодо назв.: |
автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 |
Відповідальність: |
Максимець Олександр Миколайович ; М-во освіти і науки України, Київ. нац. ун-т ім. Т. Шевченка |
Місто: | Київ |
Рік: | 2014 |
Сторінок: | 20 с. |
ББК: |
З815 |
Тип документу: |
Автореферат |
Пошук: заповніть хоча б одне з полів
|
|