Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

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

- Ключові слова:

проектування, проектирование, projektowanie ; системи обробки даних, системы обработки данных

- Теми документа

  • ББК науковий // Інформаційні машини. Машини для обробки даних. Автоматична та телеобробка інформації
  • ББК науковий // Проектування
  • ББК науковий // Проектування



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н - наукова 1 Перейти на сайт