Электронно-библиотечная система НГТУ / Информация о ресурсе
Подождите, идет поиск...Информация о ресурсе
| Автор(ы): | Васютин А. М. |
| Заглавие: | Расширение функциональности этапа статического анализа компилятора "clang" для верификации корректности значений указателей : выпускная квалификационная работа, научный руководитель Малявко Александр Антонович |
| Выходные данные: | Новосибирск, 2025 |
| Полный текст: |
перейти / скачать файл |
| Тип: | выпускные квалификационные работы |
| Предметная область: |
информатика и вычислительная техника |
| Кафедра/ подразделение-разработчик: |
каф. ВТ (факультет АВТФ) |