Файл:Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014).pdf — различия между версиями

Материал из 0x1.tv
(нет различий)

Версия 21:04, 10 октября 2014

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

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

Дата/времяМиниатюраРазмерыУчастникПримечание
текущий21:04, 10 октября 2014Миниатюра для версии от 21:04, 10 октября 2014720 × 540, 14 страниц (517 КБ)StasFomin (обсуждение | вклад)
  • Вы не можете перезаписать этот файл.
Источник — «https://0x1.tv./index.php?title=Файл:Rodin_—_платформа_для_разработки_и_верификации_моделей_на_Event-B_(Илья_Щепетков,_OSSDEVCONF-2014).pdf&oldid=4376»