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



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


SEARCH READY THESIS OR ARTICLE


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