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
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.