Что такое программное обеспечение, критичное к безопасности, и как Ada и SPARK могут помочь?19просмотров2 года назад
Написание параллельных программ с общей памятью в Ada Multitasked Метод Ньютона25просмотров2 года назад
