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

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

Мат. лог. и лог. прог., 3 поток. Блок 52. Формальная верификация

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

	Дата/время	Размеры	Участник	Примечание
текущий	19:22, 4 декабря 2023	(95 КБ)	PodymovVV (обсуждение \| вклад)	опечатки
	20:14, 26 ноября 2023	(95 КБ)	PodymovVV (обсуждение \| вклад)	2023-2024. без существенных изменений
	16:09, 26 ноября 2022	(95 КБ)	PodymovVV (обсуждение \| вклад)	Мат. лог. и лог. прог., 3 поток. Блок 52. Формальная верификация

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

Версия 20:14, 26 ноября 2023 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:MLLP VP 52.pdf») ← Предыдущая правка	Текущая версия на 19:22, 4 декабря 2023 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:MLLP VP 52.pdf»)
(нет различий)