Опубликовано в "Образование", язык - Russian. 12 страниц.
В данной презентации рассказывается как доказывать правильность программы, для чего. Для чего нужна правильность программы, ведь сейчас это очень важно чтоб программа выполняла того, чего хотим увидеть мы и какая стояла перед нами задача. Еще