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



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


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


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