Поиск по электронным документам
Найдено документов: 1
-
Авторы Харисова Таисия Анваровна Научный руководитель Новиков Федор Александрович Организация Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Выходные сведения Санкт-Петербург, 2024 Коллекция Выпускные квалификационные работы; Общая коллекция Тематика Вычислительные машины электронные — Программы; методы верификации; реагирующие системы; автоматное программирование; обусловленные регулярные выражения; граф переходов состояний; verification methods; reactive systems; automata-based programming; conditional regular expressions; state transition graph УДК 004.422.8 Тип документа Выпускная квалификационная работа магистра Тип файла PDF Язык Русский Уровень высшего образования Магистратура Код специальности ФГОС 01.04.02 Группа специальностей ФГОС 010000 - Математика и механика DOI 10.18720/SPBPU/3/2024/vr/vr24-5719 Права доступа Доступ по паролю из сети Интернет (чтение) pdf, 1,5 Мб
