Publicado no e em "Educação", idioma — Russian. 12 páginas.
В данной презентации рассказывается как доказывать правильность программы, для чего. Для чего нужна правильность программы, ведь сейчас это очень важно чтоб программа выполняла того, чего хотим увидеть мы и какая стояла перед нами задача. Mais
