Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программАрхив, прилагающийся к семинару 10-11Архив, прилагающийся к семинару 10-11
2020-08-252020-08-25СтудИзба
Семинары: Архив, прилагающийся к семинару 10-11
Описание
Описание файла отсутствует
Характеристики семинаров
Тип
Учебное заведение
Просмотров
14
Скачиваний
1
Размер
4,4 Kb
Список файлов
- errors
- atm
- atm.q 215 b
- atm.xml 4,66 Kb
- traingate
- train-gate-erroneous.q 1,35 Kb
- train-gate-erroneous.xml 4,45 Kb