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

• 16.10.2026 12:09
• Nik0laich
• 4

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