Для студентов МГУ им. Ломоносова по предмету Верификация программ на моделяхВся решённая практика за семестрВся решённая практика за семестр
2019-09-192019-09-19СтудИзба
Лабораторная работа: Вся решённая практика за семестр
Описание
Описание файла отсутствует
Характеристики лабораторной работы
Учебное заведение
МГУ им. ЛомоносоваСеместр
Просмотров
75
Размер
26,05 Mb
Список файлов
Вся решённая практика за семестр
mc01
mc05
Task_5
model_assert.pml
pan.b
pan.c
pan.exe
pan.h
pan.m
pan.t
spec1.ltl
spec2.ltl
spec3.ltl
spec4.ltl
spec5.ltl
task5.pml
task5_check_1.pml
task5_check_2.pml
task5_check_3.pml
task5_check_4.pml
task5_check_5.pml
![Картинка-подпись](https://s.studizba.com/z.php?f=/uploads/fotos/podpt_2_43798.png&w=1632&h=400&t=1")
Зарабатывай на студизбе! Просто выкладывай то, что так и так делаешь для своей учёбы: ДЗ, шпаргалки, решённые задачи и всё, что тебе пригодилось.
Начать зарабатывать
Начать зарабатывать
zzyxel
19 сентября 2019 в 22:42
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
