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

Материал из 0x1.tv

Версия от 21:04, 10 октября 2014; StasFomin (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти на страницу


Rodin_—_платформа_для_разработки_и_верификации_моделей_на_Event-B_(Илья_Щепетков,_OSSDEVCONF-2014).pdf(720 × 540 пикселей, размер файла: 517 КБ, MIME-тип: application/pdf, 14 страниц)

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

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

Дата/времяМиниатюраРазмерыУчастникПримечание
текущий21:04, 10 октября 2014Миниатюра для версии от 21:04, 10 октября 2014720 × 540, 14 страниц (517 КБ)StasFomin (обсуждение | вклад)
  • Вы не можете перезаписать этот файл.