Название:
|
Инструменты и методы анализа программ - 2015: материалы Международной научно-практической конференции, 12-14 ноября 2015 года
|
Другие авторы:
|
Ицыксон Владимир Михайлович
|
Организация:
|
"Инструменты и методы анализа программ - 2015", материалы международной научно-практической конференции (2015; Санкт-Петербург).;
Санкт-Петербургский политехнический университет Петра Великого;
Российская академия наук;
Федеральный исследовательский центр "Информатика и управление" РАН
|
Выходные сведения:
|
Санкт-Петербург: Изд-во Политехн. ун-та, 2015
|
Коллекция:
|
Конференции;
Общая коллекция
|
Тематика:
|
Вычислительные машины электронные — Математическое обеспечение
|
УДК:
|
004.415.53(063)
|
Тип документа:
|
Другой
|
Тип файла:
|
PDF
|
Язык:
|
Русский
|
Права доступа:
|
Свободный доступ из сети Интернет (чтение, печать, копирование)
|
Ключ записи:
|
RU\SPSTU\edoc\31030
|