Микроядро seL4, Ada/SPARK и 185 модулей: разбор проекта +3

• 16.10.2026 12:09
• Nik0laich
• 2

• Операционные системы
• Программирование
• Системное программирование
• Информационная безопасность