Поиск по электронным документам
Найдено документов: 1
-
Авторы Вяткина Полина Алексеевна Научный руководитель Беляев Михаил Анатольевич Другие авторы Нестеров Сергей Александрович Организация Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Выходные сведения Санкт-Петербург, 2021 Коллекция Выпускные квалификационные работы; Общая коллекция Тематика TIP; статический анализ; монотонный фреймворк; алгебраическая решетка; алгоритм унификации; абстрактное синтаксическое дерево; граф потока управления; static analysis; monotone framework; algebraic lattice; unification algorithm; abstract syntax tree; control flow graph Тип документа Выпускная квалификационная работа бакалавра Тип файла PDF Язык Русский Уровень высшего образования Бакалавриат Код специальности ФГОС 09.03.01 Группа специальностей ФГОС 090000 - Информатика и вычислительная техника Ссылки http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-719 Права доступа Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1,2 Мб
