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

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

Д
18162Максимец, Александр Николаевич.
    Алгебро-автоматные методы анализа процедурных программ и реактивных систем [Текст] : дис. ... канд. физ.-мат. наук : 01.05.01 / Максимец Александр Николаевич ; М-во образования и науки Украины, Киев. нац. ун-т им. Тараса Шевченко. — Киев, 2014. — 145 л.

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

програмне забезпечення, програмні засоби, программное обеспечение, программные способы

- Зміст:

Прил.: л. 143-145

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

  • ББК науковий // Програмування



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