Все сервисы Хабра
Сообщество IT-специалистов
Ответы на любые вопросы об IT
Профессиональное развитие в IT
Закрыть
Задать вопрос
razexqq
@razexqq
Алгоритмы
C
Алгоритм по автоматизации генерации Acsl-спецификаций, где можно найти примеры?
Как проходит автоматизация данных спецификаций путем применения плагинов на Frama-C.
Вопрос задан
более двух лет назад
90 просмотров
Комментировать
Подписаться
1
Сложный
Комментировать
Facebook
Вконтакте
Twitter
Решения вопроса
0
Пригласить эксперта
Ответы на вопрос
0
Ваш ответ на вопрос
Войдите, чтобы написать ответ
Войти через центр авторизации
Похожие вопросы
C#
+1 ещё
Простой
Почему неправильно работает Keeloq?
1 подписчик
19 часов назад
51 просмотр
1
ответ
C
+1 ещё
Простой
Стоит ли реализовывать вызов RPC функций через libffi closure?
2 подписчика
вчера
164 просмотра
0
ответов
Алгоритмы
Простой
Какие переходы для ДП Codeforces Петя и пауки?
1 подписчик
27 мая
138 просмотров
1
ответ
C
+2 ещё
Средний
В чем ошибка в написании драйвера?
2 подписчика
24 мая
174 просмотра
1
ответ
C
+2 ещё
Простой
Как реализовать файловую систему?
1 подписчик
22 мая
235 просмотров
3
ответа
Алгоритмы
Простой
Какую букву в игре поле чудес в этом случае лучше всего открыть? правильное ли это решение?
1 подписчик
20 мая
216 просмотров
3
ответа
Python
+3 ещё
Простой
Как повысить точность классификации по табличным документам?
2 подписчика
19 мая
243 просмотра
1
ответ
C#
+1 ещё
Простой
Почему моя реализация Shaker Sort-а такая медленная?
2 подписчика
17 мая
605 просмотров
1
ответ
Алгоритмы
Простой
Какую букву в игре поле чудес в этом случае лучше всего открыть?
1 подписчик
17 мая
243 просмотра
1
ответ
C
+2 ещё
Простой
Как работает realoc? Копирует непосредственно ли она содержимое в физической памяти?
1 подписчик
10 мая
144 просмотра
2
ответа
Показать ещё
Загружается…
Вакансии с Хабр Карьеры
Разработчик бэкенда сервисов телефонии
Яндекс
•
Москва
от 300 000 до 490 000 ₽
Разработчик WebRTC-сервисов на Go в видеоплатформу
Яндекс
•
Москва
от 300 000 до 490 000 ₽
Разработчик в инфраструктуру Yandex Cloud
Яндекс
•
Москва
от 300 000 до 490 000 ₽
Минуточку внимания
Войдите на сайт
Чтобы задать вопрос и получить на него квалифицированный ответ.
Войти через центр авторизации
Закрыть
Реклама