Комплексний інформаційно-бібліографічний сервіс Національної бібілотеки України імені В. І. Вернадського

Автореферати дисертацій

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

Формат представлення знайдених документів:
повний	стислий

Пошуковий запит: (<.>A=Сирота О.П.$<.>)
Загальна кількість знайдених документів : 1
1.	Сирота О.П. Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації : автореф. дис... канд. техн. наук: 05.13.06 / О.П. Сирота / Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 2009. — 20 с.