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

Текущая версия на 21:44, 10 октября 2014

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

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

Следующая 1 страница ссылается на данный файл:

Версия 21:04, 10 октября 2014 (просмотреть исходный код) StasFomin (обсуждение \| вклад)		Текущая версия на 21:44, 10 октября 2014 (просмотреть исходный код) StasFomin (обсуждение \| вклад) (загрузил «Файл:Rodin — платформа для разработки и верификации моделей на Event-B (Илья Щепетков, OSSDEVCONF-2014).pdf»)
(нет различий)