Файл:Seminar Verification 7.pdf

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
Seminar_Verification_7.pdf(размер файла: 841 КБ, MIME-тип: application/pdf)

математические методы верификации схем и программ, полулекционное занятие: обзор синтаксиса и модели систем средства SPIN

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

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

Дата/времяРазмерыУчастникПримечание
текущий14:05, 26 октября 2019 (841 КБ)PodymovVV (обсуждение | вклад)2019. Пара мелких визуальных правок
15:18, 2 ноября 2018 (840 КБ)PodymovVV (обсуждение | вклад)и ещё одна мелкая правка
15:16, 2 ноября 2018 (841 КБ)PodymovVV (обсуждение | вклад)пара мелких правок
14:54, 30 октября 2018 (830 КБ)PodymovVV (обсуждение | вклад)новая версия, намного более милая
21:26, 18 октября 2018 (859 КБ)PodymovVV (обсуждение | вклад)поправлены опечатки, в т.ч. нехорошие
10:03, 3 ноября 2017 (913 КБ)PodymovVV (обсуждение | вклад)поправлена куча опечаток
22:53, 2 ноября 2017 (912 КБ)PodymovVV (обсуждение | вклад)супер-пупер новая версия
16:35, 9 ноября 2016 (360 КБ)PodymovVV (обсуждение | вклад)математические методы верификации схем и программ, полулекционное занятие: обзор синтаксиса и модели систем средства SPIN
  • Вы не можете перезаписать этот файл.

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