Найти в Дзене
Войти
1,0×
Лекция 3 | О современных методах автоматической формальной верификации аппаратного обеспечения
138 просмотров · 12 лет назад
00:00
/
47:30
Лекториум
1167 подписчиков
Подписаться
1725883881.1988.1757256271473.58654