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

Описание

Вычисления над типами. Алгоритмы верификации. Двухфазная верификация. Ограничения верификатора.