Файл:Seminar Verification 1.pdf — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(PodymovVV загружена новая версия «Файл:Seminar Verification 1.pdf»)
(PodymovVV загружена новая версия «Файл:Seminar Verification 1.pdf»)
 
(нет различий)

Текущая версия на 17:08, 10 сентября 2019

618 группа, математические методы верификации схем и программ, семинар по логике Хоара

История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

Дата/времяРазмерыУчастникПримечание
текущий17:08, 10 сентября 2019 (223 КБ)PodymovVV (обсуждение | вклад)осень 2019, поменял последовательность задач
21:35, 11 сентября 2018 (213 КБ)PodymovVV (обсуждение | вклад)исправлено несколько ошибок в условиях
11:31, 11 октября 2017 (212 КБ)PodymovVV (обсуждение | вклад)исправлена некритичная опечатка в домашнем задании
10:30, 13 сентября 2017 (212 КБ)PodymovVV (обсуждение | вклад)новая нотация (согласно новому варианту лекций) и исправленные опечатки
12:14, 14 сентября 2016 (185 КБ)PodymovVV (обсуждение | вклад)
12:07, 14 сентября 2016 (181 КБ)PodymovVV (обсуждение | вклад)618 группа, математические методы верификации схем и программ, семинар по логике Хоара
  • Вы не можете перезаписать этот файл.

Нет страниц, ссылающихся на данный файл.