UTV Архив событий Видео 2018 год Семинар Семантика, спецификация и верификация программ_Тензор


Семинар Семантика, спецификация и верификация программ_Тензор

Автор: ЦУТ ЯрГУ

2018-06-22

Эти и другие видеофайлы вы так же можете посмотреть на наших страницах на YouTube:

http://www.youtube.com/user/YarGUTV
http://www.youtube.com/user/YSUchannel