О современных методах автоматической формальной верификации аппаратного обеспечения
Санкт-Петербург / весна 2010, посмотреть все семестры
Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте. Перейти к регистрацииВойти
