Техническая информация по Ada SPARK Libadalang VS Code - Семинар AdaCore GAP 21 июня_2022 г.2просмотра3 года назад
Разработка курса безопасного программирования - Семинар AdaCore GAP 21 июня 2022 г4просмотра3 года назад
SPARK-Ada в области формального моделирования и проектирования-Семинар AdaCore GAP 21 июня 2022 г.13просмотров3 года назад