Шошмина Ирина Владимировна. Метод разработки формальных контекстных требований для верификации программных систем логического управления :

Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей



  • Название:
  • Шошмина Ирина Владимировна. Метод разработки формальных контекстных требований для верификации программных систем логического управления
  • Кол-во страниц:
  • 228
  • ВУЗ:
  • Санкт-Петербургский политехнический университет Петра Великого
  • Год защиты:
  • 2015
  • Краткое описание:
  • Шошмина Ирина Владимировна. Метод разработки формальных контекстных требований для верификации программных систем логического управления: диссертация ... кандидата технических наук: 05.13.11 / Шошмина Ирина Владимировна;[Место защиты: Санкт-Петербургский политехнический университет Петра Великого].- Санкт-Петербург, 2015.- 228 с.
  • Список литературы:
  • -
  • Стоимость доставки:
  • 230.00 руб


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




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


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

Воронцов Олег Григорьевич Принципы бюджетной системы Российской Федерации: теоретико-правовые основы реализации
Исмаилов Исмаил Шапурович Пруденциальное регулирование банковской деятельности
Рустамов Джумабек Юнусович Организационно−правовые основы государственного финансового контроля в сфере бюджетных отношений Республики Таджикистан
Рыбкова Алёна Юрьевна Организация страхового дела и страхового надзора в Российской Федерации как объекты финансово-правового регулирования
Ем Артемий Владимирович Правовое регулирование взимания НДС при международной торговле услугами в электронной форме

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

Нечитайло Тетяна Андріївна ГЕНЕЗИС ОБРАЗУ ФІЗИЧНОГО Я У ПІДЛІТКОВОМУ ВІЦІ
ВАН МІНЦЗЕ ЛІРИЧНА СЕМАНТИКА ЖІНОЧИХ ОБРАЗІВ В ОПЕРНІЙ ТВОРЧОСТІ (Г. ДОНІЦЕТТІ, Ш. ГУНО, М. РИМСЬКИЙ-КОРСАКОВ, ДЖ. ПУЧЧІНІ)
ГЛУШКО ОКСАНА ЗІНОВІЇВНА ВИХОВАННЯ НАЦІОНАЛЬНИХ ЦІННОСТЕЙ В УКРАЇНСЬКОМУ ШКІЛЬНИЦТВІ США
ДЕН КАЙЮАНЬ КАМЕРНО-ВОКАЛЬНА МІНІАТЮРА У ТВОРЧОСТІ КИТАЙСЬКИХ КОМПОЗИТОРІВ 1980 - 90-Х РОКІВ: ЖАНРОВА СТИЛІСТИКА
ДУ ВЕЙ ПОЕТИКА КАМЕРНО-ВОКАЛЬНОГО ЦИКЛУ В КОМПОЗИТОРСЬКІЙ ТВОРЧОСТІ ДРУГОЇ ПОЛОВИНИ ХХ СТОЛІТТЯ (на прикладі камерно-вокальних творів С. Слонімського)