Файл:Seminar Verification 7.pdf
Материал из Кафедра математической кибернетики
Версия от 14:05, 26 октября 2019; PodymovVV (обсуждение | вклад)
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 |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.