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