Игнатьев Валерий Николаевич. Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ :



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


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


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