12+38:52Отдельные лекции Ada для t-teach.ru Лекция 5 Прерывания и обработка событий83просмотра2 месяца назад
12+46:57Действительно ли разумно использовать естественный язык для спецификации теста36просмотров3 месяца назад
12+41:47DEF CON 30 - Адам Заброцки и Алекс Терешкин - Эксплуатация в эпоху формальной верификации29просмотров4 месяца назад
12+24:47Руководство по качеству и стилю Ada - объектно-ориентированные функции21просмотр6 месяцев назад
12+09:37Обеспечение безопасности программного обеспечения в автомобильной промышленности22просмотра9 месяцев назад