Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
Лекции 1-2
О современных методах автоматической формальной верификации аппаратного обеспечения
Что:
Лекция
Когда:
Воскресенье, 21 февраля 2010, 15:20–16:50
Где:
ПОМИ РАН
Слайды:
hardwareverification_lecture_210210.pdf
