Сайт в процессе наполнения. Архив всех прошедших курсов доступен на старой версии сайта по адресу old.compsciclub.ru
Город: Санкт-Петербург Казань Язык: Русский English

Арист Александрович Кожевников

Санкт-Петербургское отделение Математического института им. В.А. Стеклова РАН

Личная страница: http://logic.pdmi.ras.ru/~arist/

Прочтения курсов

Курс Семестр
О современных методах автоматической формальной верификации аппаратного обеспечения весна 2010