Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
О современных методах автоматической формальной верификации аппаратного обеспечения
Предварительно содержание:
Альтернирующие автоматы (конечные и Бюхи) и их применения
hwmc competition — соревнования пруверов для верификации железа и доступные академические пруверы
Прочтения курсов
Семестр
Отделение
весна 2010
Санкт-Петербург