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

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

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

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

10 лет назад
Devres
43 годаРоссия
17 лет в сервисе
Был
5 лет назад
  • Похожие заказы
  • $2500

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

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

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

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

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

    Закрыт
    10 лет назад
  • $250

    Необходимо написать программу автопостер для сайта доски объявлений. (скрипт как aвитo) Программа должна брать текст из файла и размещать через веб интерфейс на сайте. ================== От вас требуется: опыт в написании подобных программ четко обозначенный функционал который вы сможете ...

    Закрыт
    10 лет назад
  • Обязанности: Разработка и сопровождение системных модулей (драйверов и сервисов) Windows Требования: Желание развиваться и менять мир к лучшему Активная жизненная позиция Высшее техническое образование Опыт коммерческой разработки от 1 года Отличное знание С/C++ Отличное ...

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

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