Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программСеминар 5. Решение задачекСеминар 5. Решение задачек
2020-08-252020-08-25СтудИзба
Семинары: Семинар 5. Решение задачек
Описание
Описание файла отсутствует
Характеристики семинаров
Тип
Учебное заведение
МГУ им. ЛомоносоваПросмотров
20
Размер
3,95 Kb
Список файлов
Семинар 5
task1_v1.smv
task1_v2.smv
task2.1 (v1) (atomic).smv
task2.1 (v2) (atomic) (Подымов).smv
task2.2 (v1) (nonatomic).smv
task2.2 (v2) (nonatomic) (Подымов).smv
task4.smv
Koala
25 августа 2020 в 14:11
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
