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

Текущая версия на 16:49, 21 октября 2024

Методы верификации (618, 621). Блок 27. Симуляция и бисимуляция

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

	Дата/время	Размеры	Участник	Примечание
текущий	16:49, 21 октября 2024	(156 КБ)	PodymovVV (обсуждение \| вклад)	опечатка
	21:20, 20 октября 2024	(156 КБ)	PodymovVV (обсуждение \| вклад)	2024-2025, без существенных изменений
	17:33, 29 октября 2023	(156 КБ)	PodymovVV (обсуждение \| вклад)	2023-2024. теперь тут про преобразователи предикатов и неподвижные точки
	15:26, 7 декабря 2022	(245 КБ)	PodymovVV (обсуждение \| вклад)	Методы верификации (618, 621). Блок 27. Симуляция и бисимуляция

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

Версия 21:20, 20 октября 2024 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:Verif VP 27.pdf») ← Предыдущая правка	Текущая версия на 16:49, 21 октября 2024 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:Verif VP 27.pdf»)
(нет различий)