Файл:Verif VP 20.pdf

Материал из Кафедра математической кибернетики
Версия от 22:08, 11 октября 2025; PodymovVV (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Verif_VP_20.pdf ‎(размер файла: 69 КБ, MIME-тип: application/pdf)

Методы верификации (618, 621). Блок 20. BDD

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

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

Дата/времяРазмерыУчастникПримечание
текущий22:08, 11 октября 2025 (69 КБ)PodymovVV (обсуждение | вклад)2025/2026, без существенных изменений
00:47, 7 октября 2024 (69 КБ)PodymovVV (обсуждение | вклад)2024-2025, без существенных изменений
10:25, 2 октября 2023 (70 КБ)PodymovVV (обсуждение | вклад)2023-2024. теперь уточненная схема автоматного алгоритма для лтл
15:13, 25 октября 2022 (254 КБ)PodymovVV (обсуждение | вклад)Исправлены опечатки
13:04, 24 октября 2022 (254 КБ)PodymovVV (обсуждение | вклад)Методы верификации (618, 621). Блок 20. BDD
  • Вы не можете перезаписать этот файл.

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

Источник — «https://mk.cs.msu.ru/index.php?title=Файл:Verif_VP_20.pdf&oldid=12194»