Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
State-event-based reasoning and deadlock detection
Software Verification
Что:
Лекция
Когда:
Четверг, 01 мая 2008, 16:20–17:50
Где:
ПОМИ РАН
Слайды:
softwareverification_lecture_010508.pdf
Видео
