Найдите исполнителя для вашего проекта прямо сейчас!
Разместите заказ на фриланс-бирже и предложения поступят уже через несколько минут.

Нужно доказать приведенные ниже равенства методами:

1) аксиоматической семантики;

2) денотационной семантики;

3) семантики с продолжением.

C0; until ┐E do C0 od; while E do C1 od = repeat C0; while E do C0 od while E; if E then C1 else e fi

Не обязательно доказательство всеми методами (но желательно всеми, конечно ).

11 лет назад
Devres
44 года
18 лет в сервисе
Был
6 лет назад

Заявки фрилансеров

Нет заявок фрилансеров
  • Похожие заказы

  • $2500

    В компанию по разработке рекламных технологий на постоянную работу требуется опотный програмист. Высокая оплата. Рассматривается вариант на удаленного сотрудничества знанием языков - java, spring, hibernate, jsf, seam. задачи ...

    Закрыт
    11 лет назад
  • $500

    Нужно сделать прокси сервер на .Net который по сути будет биллинговой системой. Он должен уметь автентифицировать и авторизовать пользователей, вести учет трафика и баланса, блокировать доступ пользователям при необходимости.

    Закрыт
    11 лет назад
  • Необходимо написать программу, реализующую автоматизированные заполнение художественных форм. Полное описание требуемого функционала размещено в техническом задании (приложено). Предлагается следующая система оплаты и сроки разработки: 1. Предоплата - 20% от бюджета ...

    Закрыт
    11 лет назад
  • 1)Есть программа на VS2008 там есть место где нужно вставить функцию отправки СМС, 2)есть исходный код VS2010 для отправки смс через модем(e1550). Нужно сделать длл из (2) для ее ...

    Закрыт
    11 лет назад
  • Обязанности: • Разработка системного и прикладного ПО под ОС Linux на платформе ARM • Тестирование и сопровождение разработанного ПО • Написание программной документации • Участие в разработке архитектуры решения Требования: ...

    Закрыт
    11 лет назад