Сергієнко Володимир Володимирович. Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування

Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Автоматизированные системы управления и прогрессивные информационные технологии




  • скачать файл:
  • Название:
  • Сергієнко Володимир Володимирович. Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування
  • Альтернативное название:
  • Сергеенко Владимир Владимирович. Инвариантно-ориентированная информационная технология независимой верификации программного обеспечения информационно-управляющих систем критического применения
  • Кол-во страниц:
  • 200
  • ВУЗ:
  • Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Х
  • Год защиты:
  • 2012
  • Краткое описание:
  • Сергієнко Володимир Володимирович. Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування.- Дисертація канд. техн. наук: 05.13.06, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Х., 2012.- 210 с. : рис.
  • Список литературы:
  • -
  • Стоимость доставки:
  • 125.00 грн


ПОИСК ДИССЕРТАЦИИ, АВТОРЕФЕРАТА ИЛИ СТАТЬИ




Доставка любой диссертации из России и Украины


ПОСЛЕДНИЕ ДИССЕРТАЦИИ

Хирономиды в зообентосе рек и озер бассейна реки Баргузин Буянтуев, Виктор Александрович
Цитогенетическая и онтогенетическая нестабильность у видов-двойников обыкновенной полевки из лабораторных колоний и природных популяций при разной степени загрязнения Нохрин, Денис Юрьевич
Черная казарка (Branta bernicla) в России: Экология, распространение, проблемы охраны и устойчивого использования Сыроечковский, Евгений Евгеньевич
Экобиоморфологические особенности гибридных популяций картофеля в Прибайкалье Хакимова, Гульнара Омановна
Экобиоморфы рекреационных лесов юга Тюменской области как показатель степени антропогенного воздействия Козловцева, Ольга Сергеевна

ПОСЛЕДНИЕ СТАТЬИ И АВТОРЕФЕРАТЫ

ГБУР ЛЮСЯ ВОЛОДИМИРІВНА АДМІНІСТРАТИВНА ВІДПОВІДАЛЬНІСТЬ ЗА ПРАВОПОРУШЕННЯ У СФЕРІ ВИКОРИСТАННЯ ТА ОХОРОНИ ВОДНИХ РЕСУРСІВ УКРАЇНИ
МИШУНЕНКОВА ОЛЬГА ВЛАДИМИРОВНА Взаимосвязь теоретической и практической подготовки бакалавров по направлению «Туризм и рекреация» в Республике Польша»
Ржевский Валентин Сергеевич Комплексное применение низкочастотного переменного электростатического поля и широкополосной электромагнитной терапии в реабилитации больных с гнойно-воспалительными заболеваниями челюстно-лицевой области
Орехов Генрих Васильевич НАУЧНОЕ ОБОСНОВАНИЕ И ТЕХНИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ЭФФЕКТА ВЗАИМОДЕЙСТВИЯ КОАКСИАЛЬНЫХ ЦИРКУЛЯЦИОННЫХ ТЕЧЕНИЙ
СОЛЯНИК Анатолий Иванович МЕТОДОЛОГИЯ И ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОЦЕССАМИ САНАТОРНО-КУРОРТНОЙ РЕАБИЛИТАЦИИ НА ОСНОВЕ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА