Лекция 2 | Верификация параллельных и распределенных программных систем | Юрий Карпов | Лекториум

629
26.2
Опубликовано 23 марта 2016, 14:09
Лекция 2 | Курс: Верификация параллельных и распределенных программных систем | Лектор: Юрий Карпов | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13650

Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
жизньигрыфильмывесельеавтотехномузыкаспортедаденьгистройкаохотаогородзнанияздоровьекреативдетское