W 164-2/254
Карпов, Юрий Глебович.
Верификация распределенных систем : [учеб. пособие для вузов по направлению подгот. магистров в образоват. обл. "Информатика и вычисл. техника"] / Ю. Г. Карпов, И. В. Шошмина. - СПб. : Изд-во Политехн. ун-та, 2011. - 211 с. : ил. - (Приоритетный национальный проект "Образование" / М-во образования и науки Рос. Федерации, Нац. исслед. ун-т С.-Петерб. гос. политехн. ун-т) (Приоритетные национальные проекты. "Образование"). - Библиогр.: с. 209-210. - Предм. указ.: с. 211 . - 44 прим.. - ISBN 978-5-7422-3379-4 : 130.00 р.ББК з973.2-018я73-1
Рубрики: Вычислительные машины электронные--Программы
Программное управление
Дод.точки доступу:
Шошмина, Ирина Владимировна
Примірників всього: 1
ХР (1)
Свободны: ХР (1)