Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программСеминар 6. Средство SPIN. Синтаксис_ трансляция базовых конструкций в модели КрипкеСеминар 6. Средство SPIN. Синтаксис_ трансляция базовых конструкций в модели Крипке
2020-08-252020-08-25СтудИзба
Семинары: Семинар 6. Средство SPIN. Синтаксис_ трансляция базовых конструкций в модели Крипке
Описание
Описание файла отсутствует
Характеристики семинаров
Тип
Учебное заведение
Просмотров
17
Скачиваний
1
Размер
353,76 Kb