Файл:Verif VP 35.pdf

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
Verif_VP_35.pdf ‎(размер файла: 247 КБ, MIME-тип: application/pdf)

методы верификации программ, 2023-2024. блок 35. симуляция и бисимуляция

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

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

Дата/времяРазмерыУчастникПримечание
текущий10:00, 11 декабря 2023 (247 КБ)PodymovVV (обсуждение | вклад)методы верификации программ, 2023-2024. блок 35. симуляция и бисимуляция
  • Вы не можете перезаписать этот файл.

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

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