Лекция 5. Теория процессов. Примеры верификации свойств процессов
Лекция из курса:
Лекция 5. Теория процессов. Примеры верификации свойств процессов
Лекция 5. Теория процессов. Примеры верификации свойств процессов
1 / Загрузка
Предыдущая лекция

4
Лекция 4. Протоколы электронных платежей
01:27:09
Следующая лекция

6
Лекция 6. Верификация протокола с чередованием битов
01:21:38