Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программСеминар 9. Решение задачекСеминар 9. Решение задачек
2020-08-252020-08-25СтудИзба
Семинары: Семинар 9. Решение задачек
Описание
Описание файла отсутствует
Характеристики семинаров
Тип
Учебное заведение
МГУ им. ЛомоносоваПросмотров
19
Размер
7,05 Kb
Список файлов
Семинар 9
atm (модель с исправленной ошибкой)
atm.q
atm.xml
errors
atm
atm.q
atm.xml
traingate
train-gate-erroneous.q
train-gate-erroneous.xml
lighting.xml
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}
