Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
Двоичные разрешающие диаграммы (BDD). Символьная проверка моделей
Введение в моделирование и верификацию аппаратных и программных систем
Что:
Лекция
Когда:
Воскресенье, 21 октября 2007, 20:30–22:00
Где:
ПОМИ РАН
Слайды:
verification_lecture_211007.pdf
