Electronic Documents Search
Documents found: 2
-
Creators Карпов Юрий Глебович; Шошмина Ирина Владимировна Organization Санкт-Петербургский государственный политехнический университет Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2011 Electronic publication Санкт-Петербург, 2020 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Вычислительные системы — Программирование; верификация программ; учебники и пособия для вузов UDC 004.75(075.8); 004.415.5(075.8) Document type Tutorial File type PDF Language Russian Speciality code (FGOS) 09.00.00 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/2/si20-935 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 6.4 Mb -
Введение в язык Promela и систему комплексной верификации Spin: учебное пособие
Creators Шошмина Ирина Владимировна; Карпов Юрий Глебович Organization Санкт-Петербургский государственный политехнический университет Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2010 Electronic publication Санкт-Петербург, 2021 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Программирования языки; Вычислительные машины электронные персональные — Программирование UDC 004.42(075.8); 004.438(075.8) Document type Tutorial File type PDF Language Russian Speciality code (FGOS) 09.00.00 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/2/si21-78 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 3.7 Mb
