Войти
Запомнить
Регистрация
PullRequest
Лента
Топ
Теги
Новая
Новая
Вопросы с тегом доказательство-из-корректности
1
голос
1
ответ
Как продемонстрировать правильность программы с циклом while, используя логику Хоара c?
Mandy007
/
13 февраля 2020
лог-c
доказательство
вычисление-теория
доказательство-из-корректности
хор-лог-c
Для получения более полной информации посмотрите в
списке вопросов
или в
популярных тегах
.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...