Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программСеминар 9. Решение задачекСеминар 9. Решение задачек
2020-08-252020-08-25СтудИзба
Семинары: Семинар 9. Решение задачек
Описание
Описание файла отсутствует
Характеристики семинаров
Тип
Учебное заведение
Просмотров
19
Скачиваний
2
Размер
7,05 Kb
Список файлов
- Семинар 9. Решение задачек
- atm (модель с исправленной ошибкой)
- atm.q 215 b
- atm.xml 6,16 Kb
- errors (модели с ошибками_ для исправления).zip 4,4 Kb
- lighting.xml 3,62 Kb