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

catalog / TECHNICAL SCIENCES / Mathematical and software of computer systems, complexes and computer networks




  • скачать файл:
  • title:
  • Шошмина Ирина Владимировна. Метод разработки формальных контекстных требований для верификации программных систем логического управления
  • The number of pages:
  • 228
  • university:
  • Санкт-Петербургский политехнический университет Петра Великого
  • The year of defence:
  • 2015
  • brief description:
  • Шошмина Ирина Владимировна. Метод разработки формальных контекстных требований для верификации программных систем логического управления: диссертация ... кандидата технических наук: 05.13.11 / Шошмина Ирина Владимировна;[Место защиты: Санкт-Петербургский политехнический университет Петра Великого].- Санкт-Петербург, 2015.- 228 с.
  • bibliography:
  • -
  • Стоимость доставки:
  • 230.00 руб


SEARCH READY THESIS OR ARTICLE




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


THE LAST THESIS

Сафронов Олександр Михайлович Розвиток методології досліджень характеристик та ефективності гальмівних систем пасажирських та вантажних вагонів
Просянкіна-Жарова Тетяна Іванівна Інформаційні технології для систем підтримки прийняття рішень в управлінні регіональним розвитком
Бичкова Соломія Володимирівна Кальцієві депо різних клітин у нормі та за розвитку патологічних станів
Мельников Костянтин Петрович Синтез та фізико-хімічні властивості функціоналізованих флуоровмісних насичених карбо- та гетероциклів
Пільо Степан Григорович Синтез нових функціональнозаміщених 1,3-азолів та азолоазинів як потенційних протиракових і противірусних агентів

THE LAST ARTICLES AND ABSTRACTS

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