Файл:DAS VP 10.pdf

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

Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 10. Как обосновывать корректность распределённых алгоритмов. Свойства безопасности и живости

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

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

Дата/времяРазмерыУчастникПримечание
текущий13:02, 9 марта 2023 (178 КБ)PodymovVV (обсуждение | вклад)опечатка
17:23, 28 февраля 2023 (178 КБ)PodymovVV (обсуждение | вклад)Исправлены опечатки
14:19, 28 февраля 2023 (178 КБ)PodymovVV (обсуждение | вклад)Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 10. Как обосновывать корректность распределённых алгоритмов. Свойства безопасно…
  • Вы не можете перезаписать этот файл.

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