Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программ3. Справедливость. CTL - формализация, табличный и символьный алгоритмы. ROBDD.3. Справедливость. CTL - формализация, табличный и символьный алгоритмы. ROBDD.
2020-08-252020-08-25СтудИзба
Лекции: 3. Справедливость. CTL - формализация, табличный и символьный алгоритмы. ROBDD.
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Просмотров
21
Скачиваний
1
Размер
172,29 Kb