Electronic Documents Search

Documents found: 1

1

Эксперементы с реализацией языка охраняемых команд Дейкстры: выпускная квалификационная работа бакалавра: направление 01.03.02 «Прикладная математика и информатика» ; образовательная программа 01.03.02_02 «Системное программирование»

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

1