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

Текущая версия на 16:55, 14 ноября 2016

инструкция по работе со средством верификации SPIN

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

	Дата/время	Размеры	Участник	Примечание
текущий	16:55, 14 ноября 2016	(429 КБ)	PodymovVV (обсуждение \| вклад)
	20:15, 10 ноября 2016	(314 КБ)	PodymovVV (обсуждение \| вклад)	инструкция по работе со средством верификации SPIN

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

Версия 20:15, 10 ноября 2016 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (инструкция по работе со средством верификации SPIN)	Текущая версия на 16:55, 14 ноября 2016 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:Seminar Verification 7 spin manual.pdf»)
(нет различий)