Файл:Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014).pdf
Материал из 0x1.tv
Rodin_—_платформа_для_разработки_и_верификации_моделей_на_Event-B_(Илья_Щепетков,_OSSDEVCONF-2014).pdf (720 × 540 пикселей, размер файла: 517 КБ, MIME-тип: application/pdf, 14 страниц)
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
Дата/время | Миниатюра | Размеры | Участник | Примечание | |
---|---|---|---|---|---|
текущий | 21:04, 10 октября 2014 | 720 × 540, 14 страниц (517 КБ) | StasFomin (обсуждение | вклад) |
- Вы не можете перезаписать этот файл.
Использование файла
Следующая 1 страница ссылается на данный файл: