АвторыН. О. Гаранина, И. С. Ануреев
Теория параллелизма. Самостоятельные работы
ИздательствоНовосибирcкий ГУ
Тип изданияучебно-методическое пособие
Год издания2023
Скопировать биб. запись
Для каталогаГаранина, Н. О. Теория параллелизма. Самостоятельные работы : учеб. -метод. пособие / Н. О. Гаранина, И. С. Ануреев. - Новосибирск : РИЦ НГУ, 2023. - 62 с. - ISBN 978-5-4437-1474-5. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN9785443714745.html (дата обращения: 22.12.2024). - Режим доступа : по подписке.
АннотацияПредлагаются задачи по конструированию абстрактных параллельных процессов с помощью формализма CSP и по практической спецификации и верификации параллельных процессов средствами SPIN в рамках курса по теории параллелизма, а также на примерах рассматриваются методы решения подобных задач. Пособие предназначено для студентов, изучающих теорию параллельных и распределённых систем.