Electronic Documents Search

Documents found: 1

Creators	Кан Виталий Сергеевич
Scientific adviser	Ицыксон Владимир Михайлович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2017
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	формальная верификация; проверка моделей; качество систем; графический интерфейс пользователя
Document type	Bachelor graduation qualification work
File type	PDF
Language	Russian
Level of education	Bachelor
Speciality code (FGOS)	09.03.01
Speciality group (FGOS)	090000 - Информатика и вычислительная техника
DOI	10.18720/SPBPU/2/v17-4088
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.5 Mb