Микроядро seL4. Формальная верификация программ в реальном мире +43 24.01.2019 15:47 m1rko 23 Информационная безопасность Софт Системное программирование Транспорт будущего Математика
Крупнейшего производителя авиаэлектроники Rockwell Collins купят за $30 млрд +14 06.09.2017 10:51 itinvest 2 Блог компании ITinvest Финансы в IT
