Файл:Verif VP 27.pdf

Материал из Кафедра математической кибернетики
Версия от 17:33, 29 октября 2023; PodymovVV (обсуждение | вклад)

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

Методы верификации (618, 621). Блок 27. Симуляция и бисимуляция

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

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

Дата/времяРазмерыУчастникПримечание
текущий17:33, 29 октября 2023 (156 КБ)PodymovVV (обсуждение | вклад)2023-2024. теперь тут про преобразователи предикатов и неподвижные точки
15:26, 7 декабря 2022 (245 КБ)PodymovVV (обсуждение | вклад)Методы верификации (618, 621). Блок 27. Симуляция и бисимуляция
  • Вы не можете перезаписать этот файл.

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

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