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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск

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

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

Дата/времяРазмерыУчастникПримечание
текущий12:19, 28 ноября 2018 (478 КБ)PodymovVV (обсуждение | вклад)семинар по uppaal, версия 18-го года (поправлена стилистика)
08:09, 29 ноября 2017 (464 КБ)PodymovVV (обсуждение | вклад)обновлённая чуть урезанная версия
18:53, 9 декабря 2016 (509 КБ)PodymovVV (обсуждение | вклад)
08:48, 7 декабря 2016 (509 КБ)PodymovVV (обсуждение | вклад)
  • Вы не можете перезаписать этот файл.

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