Для студентов МГУ им. Ломоносова по предмету Верификация программ на моделяхИ.В. Шошмина, Ю.Г. Карпов - Введение в язык Promela и систему комплексной верификации SpinИ.В. Шошмина, Ю.Г. Карпов - Введение в язык Promela и систему комплексной верификации Spin
2019-09-192019-09-19СтудИзба
Книга: И.В. Шошмина, Ю.Г. Карпов - Введение в язык Promela и систему комплексной верификации Spin
Описание
Описание файла отсутствует
Характеристики книги
Тип
Учебное заведение
МГУ им. ЛомоносоваСеместр
Просмотров
142
Размер
1,12 Mb
Список файлов
![Картинка-подпись](https://s.studizba.com/z.php?f=/uploads/fotos/podpt_2_43798.png&w=1632&h=400&t=1")
Зарабатывай на студизбе! Просто выкладывай то, что так и так делаешь для своей учёбы: ДЗ, шпаргалки, решённые задачи и всё, что тебе пригодилось.
Начать зарабатывать
Начать зарабатывать
zzyxel
19 сентября 2019 в 22:41
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
