Черникова, Арина Сергеевна. Разработка Web-интерфейса для верификатора NuSMV: выпускная квалификационная работа бакалавра: направление 09.03.01 «Информатика и вычислительная техника» ; образовательная программа 09.03.01_02 «Технологии разработки программного обеспечения» = Web-interface development for the NuSMV verifier / А. С. Черникова; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий; научный руководитель В. М. Ицыксон; консультант по нормоконтролю С. А. Нестеров. — Санкт-Петербург, 2021. — 1 файл (3,8 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/vr21-749.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-749-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-749-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-749-a.pdf>. — DOI 10.18720/SPBPU/3/2021/vr/vr21-749. — Текст