12+32:07Знакомство студентов с формальными методами с помощью SPARK-Семинар AdaCore GAP 21 июня 2022 г.11просмотров3 года назад
12+42:59Красота прозрений в изучении параллелизма - Семинар AdaCore GAP 21 июня 2022 г.9просмотров3 года назад
12+39:18SPARK-Ada в области формального моделирования и проектирования-Семинар AdaCore GAP 21 июня 2022 г.13просмотров3 года назад
12+37:34Разработка курса безопасного программирования - Семинар AdaCore GAP 21 июня 2022 г4просмотра3 года назад
12+19:22Техническая информация по Ada SPARK Libadalang VS Code - Семинар AdaCore GAP 21 июня_2022 г.2просмотра3 года назад
12+17:25Сообщество Ada и менеджере пакетов Alire - Семинар AdaCore GAP 21 июня 2022г.4просмотра3 года назад