Найти в Дзене
Войти
1,0×
005. Program Analysis using Efficient Satisfiability Modulo Theories Solvers - Nikolaj Bjorner
6 просмотров · 12 лет назад
00:00
/
01:25:49
Компьютерные науки
164 подписчиков
Подписаться
1482821899.797.1780294006060.63345