Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программСеминар 8. Решение задачекСеминар 8. Решение задачек
2020-08-252020-08-25СтудИзба
Семинары: Семинар 8. Решение задачек
Описание
Описание файла отсутствует
Характеристики семинаров
Тип
Учебное заведение
Просмотров
17
Скачиваний
2
Размер
3,27 Kb
Список файлов
- Семинар 8. Решение задачек
- Makefile 252 b
- task1.pml 552 b
- task2.1.pml 828 b
- task2.2.pml 861 b
- task3.pml 815 b
- task4.pml 944 b
- task5.pml 600 b
- test.pml 122 b