Создание демонстрационного марсохода с помощью SPARK

Name: Создание демонстрационного марсохода с помощью SPARK
Uploaded: 2025-12-19T21:53:31+03:00
Duration: 23 min 28 s
Channel: Сергей Киркоров
Description: Международная конференция Ada Europe по надежным программным технологиям 2025 Запись трансляции доклада "Создание демонстрационного марсохода с помощью SPARK"

12+

20 просмотров

9 месяцев назад

Международная конференция Ada Europe по надежным программным технологиям 2025 Запись трансляции доклада "Создание демонстрационного марсохода с помощью SPARK"