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

Текущая версия на 00:47, 7 октября 2024

Методы верификации (618, 621). Блок 18. Справедливость и CTL

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

	Дата/время	Размеры	Участник	Примечание
текущий	00:47, 7 октября 2024	(114 КБ)	PodymovVV (обсуждение \| вклад)	2024-2025, без существенных изменений
	10:24, 2 октября 2023	(115 КБ)	PodymovVV (обсуждение \| вклад)	2023-2024. теперь автоматы бюхи для моделей крипке
	17:29, 17 октября 2022	(109 КБ)	PodymovVV (обсуждение \| вклад)	Исправлены опечатки
	09:56, 17 октября 2022	(109 КБ)	PodymovVV (обсуждение \| вклад)	Методы верификации (618, 621). Блок 18. Справедливость и CTL

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

Версия 10:24, 2 октября 2023 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:Verif VP 18.pdf») ← Предыдущая правка	Текущая версия на 00:47, 7 октября 2024 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:Verif VP 18.pdf»)
(нет различий)