Published on in “Education”, language — Russian. 12 pages.
В данной презентации рассказывается как доказывать правильность программы, для чего. Для чего нужна правильность программы, ведь сейчас это очень важно чтоб программа выполняла того, чего хотим увидеть мы и какая стояла перед нами задача. More
