Харисова, Таисия Анваровна. Использование обусловленных регулярных выражений для верификации автоматных программ: выпускная квалификационная работа магистра: направление 01.04.02 «Прикладная математика и информатика» ; образовательная программа 01.04.02_02 «Математические методы анализа и визуализации данных» = The use of conditional regular expressions for verification automata-based programs / Т. А. Харисова; Санкт-Петербургский политехнический университет Петра Великого, Физико-механический институт; научный руководитель Ф. А. Новиков. — Санкт-Петербург, 2024. — 1 файл (1,5 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-5719.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-5719. — Текст: электронный
| Период | Чтение | Печать | Копирование | Открытие | Итого | ||
|---|---|---|---|---|---|---|---|
| Год 2024 | Квартал 4 | Ноябрь | 1 | 0 | 0 | 0 | 1 |
| Всего | 1 | 0 | 0 | 0 | 1 | ||