Для студентов МГУ им. Ломоносова по предмету Верификация программ на моделяхИ.В. Шошмина, Ю.Г. Карпов - Введение в язык Promela и систему комплексной верификации SpinИ.В. Шошмина, Ю.Г. Карпов - Введение в язык Promela и систему комплексной верификации Spin
2019-09-192019-09-19СтудИзба
Книга: И.В. Шошмина, Ю.Г. Карпов - Введение в язык Promela и систему комплексной верификации Spin
Описание
Описание файла отсутствует
Характеристики книги
Тип
Учебное заведение
Семестр
Просмотров
141
Скачиваний
4
Размер
1,12 Mb
Список файлов
Прочти меня!!!
Файл скачан с сайта StudIzba.com
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать