Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программЛекция 8. Отношения бисимуляционной эквивалентностиЛекция 8. Отношения бисимуляционной эквивалентности
2020-08-252020-08-25СтудИзба
Лекции: Лекция 8. Отношения бисимуляционной эквивалентности
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Просмотров
20
Размер
1,53 Mb
Список файлов
Комментарии
Нет комментариев
Стань первым, кто что-нибудь напишет!
МГУ им. Ломоносова















