Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

А
155135Максимець, Олександр Миколайович.
    Алгебро-автоматні методи аналізу процедурних програм і реактивних систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Максимець Олександр Миколайович ; М-во освіти і науки України, Київ. нац. ун-т ім. Т. Шевченка. — Київ, 2014. — 20 с.

- Ключові слова:

мережі Петрі, сети Петри ; ітераційні методи, итерационные методи

- Теми документа

  • ББК науковий // Теорія автоматів та керуючих машин



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н-I - контрольний примірник 1 Перейти на сайт