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



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


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


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