Программный анализ и формальные методы верификации. Лекция 1 Лекция Партнёр:Computer Science клуб при ПОМИ РАН Предмет:Computer Science Лектор:Наталья Шарыгина Курс лекций: Программный анализ и формальные методы верификации Дата записи:06.09.15 Дата публикации:25.09.15 Embedded video for Программный анализ и формальные методы верификации. Лекция 1 Код для блога: 1103 Другие лекции курса1 Программный анализ и формальные методы верификации. Лекция 2 Computer Science клуб при ПОМИ РАН Наталья Шарыгина 684