Миронов А.М. - Формальная семантика и верификация ПО - 4. Параллельные и распределенные программы

Аватар автора
Teach-In
Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист:

0/0


0/0

0/0

0/0

0/0