Одеська національна наукова бібліотека

Бібліотека працює:

понеділок, вівторок, середа, четвер, субота і неділя – з 10.00 до 18.00
Вихідний день – п’ятниця. Останній четвер місяця – санітарний день

Електронний каталог

Відображає документи,
що надійшли до бібліотеки з 2001 р.

Пошук :

Довідка :

Електронний каталог : Сирота Олена Петрівна - Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систе...

Сирота Олена Петрівна - Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систе...

Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систе...

Недоступно
0 из 1

Автореферат/Дисертація
Автор: Сирота Олена Петрівна
Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систе... : автореф. дис. ... канд. техн. наук
Видавництво: [б.в.], 2009 г.
ISBN відсутній

(UA) Автореферат
A 171353
Главный филиал

Сирота, Олена Петрівна.
Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації : автореф. дис ... канд. техн. наук : 05.13.06 / Олена Петрівна Сирота; В.о. Нац. техн. ун-т України "Київський політехнічний інститут".– К. : [б.в.], 2009.– 20 с.
100 пр. – На укр. яз.

-- 1. Технічні науки – Інформатика, обчислювальна техніка та автоматизація – Інформаційні технології.