Electronic Documents Search
Documents found: 12
-
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 -
Creators Карпов Юрий Глебович Organization Санкт-Петербургский государственный политехнический университет Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2010 Electronic publication Санкт-Петербург, 2020 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Вычислительные системы — Программирование; Сложные системы — Моделирование; верификация; тестирование; учебники и пособия для вузов UDC 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-987 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 4.3 Mb
