Пошук :
Довідка :
Електронний каталог : Максимець, Олександр Миколайович - Алгебро-автоматні методи аналізу процедурних програм і реактивних систем
Максимець, Олександр Миколайович - Алгебро-автоматні методи аналізу процедурних програм і реактивних систем
Автореферат/Дисертація
Автор: Максимець, Олександр Миколайович
Алгебро-автоматні методи аналізу процедурних програм і реактивних систем : автореф. дис. … канд. фіз.-мат. наук
Видавництво: [б.в.], 2014 г.
ISBN відсутній
Автор: Максимець, Олександр Миколайович
Алгебро-автоматні методи аналізу процедурних програм і реактивних систем : автореф. дис. … канд. фіз.-мат. наук
Видавництво: [б.в.], 2014 г.
ISBN відсутній
(UA) Автореферат
A 203648
Главный филиал
Максимець, Олександр Миколайович.
Алгебро-автоматні методи аналізу процедурних програм і реактивних систем : автореф. дис. … канд. фіз.-мат. наук : 01.05.01 / Олександр Миколайович Максимець, Київ. нац. ун-т ім. Т. Шевченка.– К. : [б.в.], 2014.– 20 с.
140 пр. – На укр. яз.
-- 1. Фізико-математичні науки – Інформатика і кібернетика – Теоретичні основи інформатики та кібернетики.
A 203648
Главный филиал
Максимець, Олександр Миколайович.
Алгебро-автоматні методи аналізу процедурних програм і реактивних систем : автореф. дис. … канд. фіз.-мат. наук : 01.05.01 / Олександр Миколайович Максимець, Київ. нац. ун-т ім. Т. Шевченка.– К. : [б.в.], 2014.– 20 с.
140 пр. – На укр. яз.
-- 1. Фізико-математичні науки – Інформатика і кібернетика – Теоретичні основи інформатики та кібернетики.