Партнёр:
Предмет:
Лектор:Антон Трунов
Курс лекций: Введение в язык формальной верификации Coq
Embedded video for Введение в язык формальной верификации Coq. Лекция 1
Введите адрес назначения (URL)
Или сделайте ссылку на существующий материал