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