Юрий Карпов Доктор технических наук, профессор, заведующий кафедрой «Распределенные вычисления и компьютерные сети» факультета технической кибернетики Санкт-Петербургского государственного политехнического университета. Персональная страница Источник фотоИсточник информации Курсы Верификация параллельных и распределенных программных систем Computer Science клуб при ПОМИ РАН Ирина Шошмина, Юрий Карпов Курс (2)Хит 6758 Лекции Верификация параллельных и распределенных программных систем. Лекция 1 Computer Science клуб при ПОМИ РАН Юрий Карпов 2545 1 Верификация параллельных и распределенных программных систем. Лекция 2 Computer Science клуб при ПОМИ РАН Ирина Шошмина, Юрий Карпов 1800 1
