Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
Dynamic component substitutability analysis
Software Verification
Что:
Лекция
Когда:
Суббота, 22 мая 2010, 19:15–20:45
Где:
ПОМИ РАН
Слайды:
softwareverification_lecture_220510.pdf
