Фрилансеры предложат решение вашей задачи уже через несколько минут!

Публикация заказа на фриланс бирже не займет много времени.

8 лет назад
Дмитрий Рязанцев
30 лет, Россия
12 лет в сервисе
Был онлайн 18 дней назад
8 лет назад

Есть код на Си (шейкер сортировка - по сути пузырьковая в обе стороны),
необходимо доказать полную корректность с помощью инструмента Frama-c с плагином jessie

  • Рекламное место свободно
    34 дня за $12
  • Рекламное место свободно
    34 дня за $12
  • Рекламное место свободно
    34 дня за $12

Другие заказы в категории «Системное программирование»