Файл:Seminar Verification 7 spin manual.pdf — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) (инструкция по работе со средством верификации SPIN) |
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Seminar Verification 7 spin manual.pdf») |
(нет различий)
|
Текущая версия на 16:55, 14 ноября 2016
инструкция по работе со средством верификации SPIN
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
Дата/время | Размеры | Участник | Примечание | |
---|---|---|---|---|
текущий | 16:55, 14 ноября 2016 | (429 КБ) | PodymovVV (обсуждение | вклад) | |
20:15, 10 ноября 2016 | (314 КБ) | PodymovVV (обсуждение | вклад) | инструкция по работе со средством верификации SPIN |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.