Все сервисы Хабра
Сообщество IT-специалистов
Ответы на любые вопросы об IT
Профессиональное развитие в IT
Закрыть
Задать вопрос
razexqq
@razexqq
Алгоритмы
C
Алгоритм по автоматизации генерации Acsl-спецификаций, где можно найти примеры?
Как проходит автоматизация данных спецификаций путем применения плагинов на Frama-C.
Вопрос задан
более двух лет назад
90 просмотров
Комментировать
Подписаться
1
Сложный
Комментировать
Facebook
Вконтакте
Twitter
Решения вопроса
0
Пригласить эксперта
Ответы на вопрос
0
Ваш ответ на вопрос
Войдите, чтобы написать ответ
Войти через центр авторизации
Похожие вопросы
Программирование
+1 ещё
Простой
Как работает регистрация и аутентификация с помощью ЭЦП?
1 подписчик
26 июн.
160 просмотров
3
ответа
Компьютерные сети
+1 ещё
Простой
Как построить топологию сетей (данные в FDB таблице) когда связи замкнуты в кольцо?
2 подписчика
25 июн.
422 просмотра
1
ответ
C
Простой
Почему длина long int 4 байта?
2 подписчика
19 июн.
229 просмотров
3
ответа
Алгоритмы
Средний
Какие переходы для ДП у «Гелифиш и незабудка» codeforce?
1 подписчик
12 июн.
81 просмотр
1
ответ
C#
+1 ещё
Простой
Почему неправильно работает Keeloq?
1 подписчик
05 июн.
95 просмотров
1
ответ
C
+1 ещё
Простой
Стоит ли реализовывать вызов RPC функций через libffi closure?
2 подписчика
04 июн.
194 просмотра
0
ответов
Алгоритмы
Простой
Какие переходы для ДП Codeforces Петя и пауки?
1 подписчик
27 мая
155 просмотров
1
ответ
C
+2 ещё
Средний
В чем ошибка в написании драйвера?
2 подписчика
24 мая
244 просмотра
1
ответ
C
+2 ещё
Простой
Как реализовать файловую систему?
1 подписчик
22 мая
285 просмотров
3
ответа
Алгоритмы
Простой
Какую букву в игре поле чудес в этом случае лучше всего открыть? правильное ли это решение?
1 подписчик
20 мая
240 просмотров
3
ответа
Показать ещё
Загружается…
Вакансии с Хабр Карьеры
Разработчик WebRTC-сервисов на Go в видеоплатформу
Яндекс
•
Москва
от 300 000 до 490 000 ₽
Разработчик бэкенда сервисов телефонии
Яндекс
•
Москва
от 300 000 до 490 000 ₽
Разработчик бэкенда в команду коммуникационной платформы
Яндекс
•
Москва
от 300 000 до 490 000 ₽
Минуточку внимания
Войдите на сайт
Чтобы задать вопрос и получить на него квалифицированный ответ.
Войти через центр авторизации
Закрыть
Реклама