Electronic Documents Search
Documents found: 2
-
Creators Соломатин Макар Александрович Scientific adviser Новиков Федор Александрович Other creators Арефьева Людмила Анатольевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects разработка интерпретатора; язык охраняемых команд; формальная верификация программ; пошаговое уточнение; interpreter development; guarded command language; program formal verification; stepwise refinement Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 01.03.02 Speciality group (FGOS) 010000 - Математика и механика Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-4130-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-4130-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-4130 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 275 Kb -
Creators Кацман Виктор Игоревич Scientific adviser Новиков Федор Александрович Other creators Арефьева Людмила Анатольевна Organization Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Imprint Санкт-Петербург, 2021 Collection Научные работы аспирантов/докторантов; Общая коллекция Subjects Автоматические системы; Моделирование; автоматическая проверка; логические правила; пошаговые улучшения; вычислительные эксперименты; образование; automated Verification; logical rules; stepwise refinement; computational experiments; education UDC 681.51 Document type Scientific report File type Other Language Russian Level of education Graduate student Speciality code (FGOS) 09.06.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Rights Текст не доступен в соответствии с распоряжением СПбПУ от 11.04.2018 № 141
