Соломатин, Макар Александрович. Эксперементы с реализацией языка охраняемых команд Дейкстры: выпускная квалификационная работа бакалавра: направление 01.03.02 «Прикладная математика и информатика» ; образовательная программа 01.03.02_02 «Системное программирование» = Experiments with the implementation of the Dijkstra's guarded command language / М. А. Соломатин; Санкт-Петербургский политехнический университет Петра Великого, Институт прикладной математики и механики; научный руководитель Ф. А. Новиков; консультант по нормоконтролю Л. А. Арефьева. — Санкт-Петербург, 2021. — 1 файл (275 Кб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/vr21-4130.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-4130-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-4130-a.pdf>. — DOI 10.18720/SPBPU/3/2021/vr/vr21-4130. — Текст