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

Текущая версия на 10:33, 20 ноября 2024

методы верификации программ, 2023-2024. блок 38. bmc

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

	Дата/время	Размеры	Участник	Примечание
текущий	10:33, 20 ноября 2024	(164 КБ)	PodymovVV (обсуждение \| вклад)	2024-2025, без существенных изменений
	16:26, 12 декабря 2023	(166 КБ)	PodymovVV (обсуждение \| вклад)	опечатки
	10:02, 11 декабря 2023	(168 КБ)	PodymovVV (обсуждение \| вклад)	методы верификации программ, 2023-2024. блок 38. bmc

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

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