Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программ4. NuSMV - обзор средства.4. NuSMV - обзор средства.
2020-08-252020-08-25СтудИзба
Лекции: 4. NuSMV - обзор средства.
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Просмотров
20
Скачиваний
1
Размер
620,17 Kb
Список файлов
- 4. NuSMV - обзор средства..pdf 656,56 Kb