Re[3]: деятельность по доказательству корректности программ
От:
Pzz
https://github.com/alexpevzner
Дата:
28.02.21 19:21
Оценка:
6 (1)
Здравствуйте, Эйнсток Файр, Вы писали:
Pzz>> вообще, что-нибудь знаешь про доказательство корректности программ?
ЭФ>Расскажите, пожалуйста.
Почитай классику:
https://proklondike.net/books/thalg/deikstra_discipline_programming_full.html
Переместить
Удалить
Выделить ветку
Проголосовать
Пока на собственное сообщение не было ответов, его можно удалить.
Удалить
Проголосовать
Заголовок: