Бородин Алексей Евгеньевич. Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++

Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей




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


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




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


ПОСЛЕДНИЕ ДИССЕРТАЦИИ

Селиванова Светлана Рефатовна. Профессионально-прикладная физическая подготовка обучающихся – спортивных менеджеров, направленная на обеспечение функциональной и психологической готовности к трудовой деятельности
Хибиев Асланбек Хизирович. Разностные методы решения краевых задач для некоторых классов нелокальных диффузионно-волновых уравнений
Будкевич Роман Олегович. Хронофизиологические аспекты пищевого статуса и адаптации в условиях экологического неблагополучия
Пирогова Елена Владимировна. Стратегическое управление конкурентоспособностью высшего учебного заведения на основе развития кадрового потенциала
Люлюк Илья Романович. Рекуррентный отбор на селекционно ценные признаки при создании раннеспелых линий кукурузы и получение на их основе высокогетерозисных гибридов

ПОСЛЕДНИЕ СТАТЬИ И АВТОРЕФЕРАТЫ

ГБУР ЛЮСЯ ВОЛОДИМИРІВНА АДМІНІСТРАТИВНА ВІДПОВІДАЛЬНІСТЬ ЗА ПРАВОПОРУШЕННЯ У СФЕРІ ВИКОРИСТАННЯ ТА ОХОРОНИ ВОДНИХ РЕСУРСІВ УКРАЇНИ
МИШУНЕНКОВА ОЛЬГА ВЛАДИМИРОВНА Взаимосвязь теоретической и практической подготовки бакалавров по направлению «Туризм и рекреация» в Республике Польша»
Ржевский Валентин Сергеевич Комплексное применение низкочастотного переменного электростатического поля и широкополосной электромагнитной терапии в реабилитации больных с гнойно-воспалительными заболеваниями челюстно-лицевой области
Орехов Генрих Васильевич НАУЧНОЕ ОБОСНОВАНИЕ И ТЕХНИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ЭФФЕКТА ВЗАИМОДЕЙСТВИЯ КОАКСИАЛЬНЫХ ЦИРКУЛЯЦИОННЫХ ТЕЧЕНИЙ
СОЛЯНИК Анатолий Иванович МЕТОДОЛОГИЯ И ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОЦЕССАМИ САНАТОРНО-КУРОРТНОЙ РЕАБИЛИТАЦИИ НА ОСНОВЕ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА