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