Найти в Дзене
Войти
1,0×
Лекция 1 | О современных методах автоматической формальной верификации аппаратного обеспечения
191 просмотр · 12 лет назад
00:00
/
46:02
Лекториум
1229 подписчиков
Подписаться
1725883881.1819.1766490939186.41658