Файл:Seminar Verification 10 errors.zip

Seminar_Verification_10_errors.zip ‎(размер файла: 4 КБ, MIME-тип: application/zip)

Внимание. Этот тип файла может содержать вредоносный программный код. При его запуске ваша система может быть заражена.

математические методы верификации схем и программ; архив, прилагающийся к слайдам семинара по uppaal

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

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

	Дата/время	Размеры	Участник	Примечание
текущий	15:55, 7 декабря 2016	(4 КБ)	PodymovVV (обсуждение \| вклад)	математические методы верификации схем и программ; архив, прилагающийся к слайдам семинара по uppaal

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