Перевод брошюры "Безопасное и надежное программное обеспечение на примере языка Ада 2012, SPARK 2014" Джона Барнса. Целью данной брошюры является продемонстрировать, как изучение языка Ада в целом и возм...
Мы используем cookie-файлы, чтобы улучшить сервисы для вас. Если ваш возраст менее 13 лет, настроить cookie-файлы должен ваш законный представитель. Больше информации
Нет комментариев