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

Текущая версия на 15:46, 11 октября 2023

Методы верификации (618, 621). Блок 19. Символьные представления моделей

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

	Дата/время	Размеры	Участник	Примечание
текущий	15:46, 11 октября 2023	(136 КБ)	PodymovVV (обсуждение \| вклад)	опечатки
	10:24, 2 октября 2023	(136 КБ)	PodymovVV (обсуждение \| вклад)	2023-2024. теперь автоматы бюхи для лтл-формул
	15:13, 25 октября 2022	(195 КБ)	PodymovVV (обсуждение \| вклад)	Исправлены опечатки
	13:03, 24 октября 2022	(195 КБ)	PodymovVV (обсуждение \| вклад)	Методы верификации (618, 621). Блок 19. Символьные представления моделей

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

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