Кривчиков Максим Александрович. Формальные модели и верификация свойств программ с использованием промежуточного представления :

Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Теоретические основы информатики



  • Название:
  • Кривчиков Максим Александрович. Формальные модели и верификация свойств программ с использованием промежуточного представления
  • Кол-во страниц:
  • 190
  • ВУЗ:
  • Федеральное государственное бюджетное образовательное учреждение высшего образования "Московский государственный университет имени М.В.Ломоносова"
  • Год защиты:
  • 2015
  • Краткое описание:
  • Кривчиков Максим Александрович. Формальные модели и верификация свойств программ с использованием промежуточного представления: диссертация ... кандидата физико-математических наук: 05.13.17 / Кривчиков Максим Александрович;[Место защиты: Федеральное государственное бюджетное образовательное учреждение высшего образования "Московский государственный университет имени М.В.Ломоносова"], 2015.- 190 с.
  • Список литературы:
  • -
  • Стоимость доставки:
  • 230.00 руб


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




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


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

У Цзы Железнодорожный транспорт КНР и его роль в социально-экономическом развитии Китая
Гусейнов, Джейхун Рагим оглы Международное экономическое сотрудничество Азербайджанской Республики в топливно-энергетической сфере
Макарова Юлия Викторовна Мировой рынок сжиженного природного газа: современные тенденции и факторы развития
Макарова, Юлия Викторовна Мировой рынок сжиженного природного газа (СПГ): современное состояние и тенденции развития
Оппонг Риверсон Оптимизация нефтегазовых доходов Республики Гана на основе анализа налоговых систем Норвегии, Нигерии и Анголы

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

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