Создан заказ №10996243
13 июня 2024
Доказать правильность работы программы с помощью аксиоматического метода Хоара
Как заказчик описал требования к работе:
Задание смогу скинуть на экзамене завтра в районе 10-11 часов утра, нужно решить за час. Примерный вариант задания: Используя аксиоматический
метод Хоара доказать
{ (a 20) & (b ≥ 0) }
if a › b then
a := a - )
else
b := b -
1 (a 20) & (b < 0) }
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
14 июня 2024
Заказ завершен, заказчик получил финальный файл с работой
5
Доказать правильность работы программы с помощью аксиоматического метода Хоара.jpg
2024-06-17 21:19
Последний отзыв студента о бирже Автор24
Общая оценка
4
Положительно
Не в первый раз делаю заказ у автора по программированию. Никаких замечаний к работе. Спасибо огромное!
Хочешь такую же работу?
300 ₽
