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