Марьясов, Илья Владимирович. Верификация С-программ с помощью смешанной аксиоматической семантики :



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


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


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