Файл:Verif VP Prac Uppaal.pdf — различия между версиями

Текущая версия на 10:34, 4 декабря 2023

Методы верификации (618, 621). Задачи по Uppaal

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

	Дата/время	Размеры	Участник	Примечание
текущий	10:34, 4 декабря 2023	(457 КБ)	PodymovVV (обсуждение \| вклад)	2023-2024, без существенных изменений
	17:15, 28 ноября 2022	(457 КБ)	PodymovVV (обсуждение \| вклад)	Исправил опечатки и упр 3
	20:07, 26 ноября 2022	(458 КБ)	PodymovVV (обсуждение \| вклад)	Методы верификации (618, 621). Задачи по Uppaal

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

Версия 17:15, 28 ноября 2022 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:Verif VP Prac Uppaal.pdf») ← Предыдущая правка	Текущая версия на 10:34, 4 декабря 2023 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:Verif VP Prac Uppaal.pdf»)
(нет различий)