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

Текущая версия на 12:50, 9 декабря 2024

Мат. лог. и лог. прог., 3 поток. Блок 56. Алгоритм model checking для CTL

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

	Дата/время	Размеры	Участник	Примечание
текущий	12:50, 9 декабря 2024	(206 КБ)	PodymovVV (обсуждение \| вклад)	2024-2025, без существенных изменений
	16:33, 12 декабря 2023	(206 КБ)	PodymovVV (обсуждение \| вклад)	опечатки
	10:35, 11 декабря 2023	(207 КБ)	PodymovVV (обсуждение \| вклад)	2023-2024, без существенных изменений
	21:58, 12 декабря 2022	(206 КБ)	PodymovVV (обсуждение \| вклад)	Исправлены опечатки (и это блок 58, не 56)
	17:25, 10 декабря 2022	(206 КБ)	PodymovVV (обсуждение \| вклад)	Мат. лог. и лог. прог., 3 поток. Блок 56. Алгоритм model checking для CTL

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

Версия 16:33, 12 декабря 2023 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:MLLP VP 58.pdf») ← Предыдущая правка	Текущая версия на 12:50, 9 декабря 2024 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:MLLP VP 58.pdf»)
(нет различий)