Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программСеминар 5. Решение задачекСеминар 5. Решение задачек
2020-08-252020-08-25СтудИзба
Семинары: Семинар 5. Решение задачек
Описание
Описание файла отсутствует
Характеристики семинаров
Тип
Учебное заведение
Просмотров
20
Скачиваний
2
Размер
3,95 Kb
Список файлов
- Семинар 5. Решение задачек
- task1_v1.smv 666 b
- task1_v2.smv 384 b
- task2.1 (v1) (atomic).smv 346 b
- task2.1 (v2) (atomic) (Подымов).smv 469 b
- task2.2 (v1) (nonatomic).smv 1,06 Kb
- task2.2 (v2) (nonatomic) (Подымов).smv 1,18 Kb
- task4.smv 6 Kb