Мордань Виталий Олегович. Методы верификации программ на основе композиции задач достижимости :



  • Название:
  • Мордань Виталий Олегович. Методы верификации программ на основе композиции задач достижимости
  • Кол-во страниц:
  • 200
  • ВУЗ:
  • ФГБУН Институт системного программирования Российской академии наук
  • Год защиты:
  • 2017
  • Краткое описание:
  • Мордань Виталий Олегович. Методы верификации программ на основе композиции задач достижимости: диссертация ... кандидата Физико-математических наук: 05.13.11 / Мордань Виталий Олегович;[Место защиты: ФГБУН Институт системного программирования Российской академии наук], 2017
  • Список литературы:
  • -
  • Стоимость доставки:
  • 230.00 руб


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


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