Вы здесь

  • Войдите, чтобы отправлять комментарии

Программный анализ и формальные методы верификации. Лекция 2

Лекция
Партнёр:
Предмет:
  • Computer Science
Лектор:
Наталья Шарыгина
Курс лекций:
Дата записи:
06.09.15
Дата публикации:
25.09.15
Код для блога:

Другие лекции курса

1
Программный анализ и формальные методы верификации. Лекция 1
Computer Science клуб при ПОМИ РАН
Наталья Шарыгина