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