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

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

Иконка канала Сергей Киркоров
Сергей Киркоров
944 подписчика
12+
19 просмотров
6 месяцев назад
ПожаловатьсяНарушение авторских прав
12+
19 просмотров
6 месяцев назад

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

, чтобы оставлять комментарии