Electronic Documents Search
Documents found: 52
-
Creators Никешин Алексей Вячеславович; Пакулин Николай Витальевич; Шнитман Виктор Зиновьевич Organization Министерство образования и науки Российской Федерации Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014 Collection Общая коллекция Subjects тестирование; протоколы; верификация; модели программ; защита обменов UDC 004.415.5.056(045) Document type Article, report File type PDF Language Russian Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 238 Kb -
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
