Главная / Основы объектно-ориентированного программирования / Корректность программы – это понятие

Корректность программы – это понятие

вопрос

Правильный ответ:

неформальное
которое можно определить, используя только термины самой программы
которое можно формализовать триадой Хоара
для формализации которого необходимо задание спецификации
Сложность вопроса
75
Сложность курса: Основы объектно-ориентированного программирования
36
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Я преподаватель! Незамедлительно заблокируйте ответы на интуит. Пишу жалобу
18 янв 2018
Аноним
спасибо
04 янв 2017
Аноним
Нереально сложно
16 май 2016
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.