Для студентов МГУ им. Ломоносова по предмету Верификация программ на моделях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
Скачиваний
1
Размер
263,82 Kb
Список файлов
Прочти меня!!!
Файл скачан с сайта StudIzba.com
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать