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