Для студентов МГУ им. Ломоносова по предмету Верификация программ на моделяхA.F. Donaldson - TopSPIN Version 2.2. Automatic symmetry reduction for the SPIN model checker. User ManualA.F. Donaldson - TopSPIN Version 2.2. Automatic symmetry reduction for the SPIN model checker. User Manual
2019-09-192019-09-19СтудИзба
Книга: A.F. Donaldson - TopSPIN Version 2.2. Automatic symmetry reduction for the SPIN model checker. User Manual
Описание
Описание файла отсутствует
Характеристики книги
Тип
Учебное заведение
МГУ им. ЛомоносоваСеместр
Просмотров
46
Размер
263,82 Kb
Список файлов
![Картинка-подпись](https://s.studizba.com/z.php?f=/uploads/fotos/podpt_2_43798.png&w=1632&h=400&t=1")
Зарабатывай на студизбе! Просто выкладывай то, что так и так делаешь для своей учёбы: ДЗ, шпаргалки, решённые задачи и всё, что тебе пригодилось.
Начать зарабатывать
Начать зарабатывать
zzyxel
19 сентября 2019 в 22:40
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
