|
|
ДС113948
Сирота, Олена Петрівна.
Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації [Текст] : дис. ... канд. техн. наук : 05.13.06 / Сирота Олена Петрівна ; Нац. техн. ун-т України "Київ. політехн. ін-т". - К., 2009. - 222 арк. : рис., табл. - Бібліогр.: арк. 154-171.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
"Київський політехнічний інститут", національний технічний університет України
Видання зберігається у :
Основний фонд
|
|