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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(PodymovVV загружена новая версия «Файл:Verif VP 23.pdf»)
(PodymovVV загружена новая версия «Файл:Verif VP 23.pdf»)
 
(нет различий)

Текущая версия на 22:44, 13 октября 2024

Методы верификации (618, 621). Блок 23. СРВ, временные автоматы и их неправдоподобные вычисления

История файла

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

Дата/времяРазмерыУчастникПримечание
текущий22:44, 13 октября 2024 (112 КБ)PodymovVV (обсуждение | вклад)2024-2025, без существенных изменений
18:37, 21 октября 2023 (113 КБ)PodymovVV (обсуждение | вклад)2023-2024. теперь тут про справедливость в ctl
17:47, 13 ноября 2022 (188 КБ)PodymovVV (обсуждение | вклад)Методы верификации (618, 621). Блок 23. СРВ, временные автоматы и их неправдоподобные вычисления
  • Вы не можете перезаписать этот файл.

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