Электрондық каталог

142623
Гаранина, Н. О.
    Теория параллелизма. Самостоятельные работы : учебно-методическое пособие / Гаранина Н. О. - Новосибирск : Новосибирский государственный университет, 2023. - 62 с. - ISBN 978-5-4437-1474-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК

004.423

ББК 32.97

Кл.слова (ненормированные):
параллелизм -- параллельные процессы
Аннотация: Предлагаются задачи по конструированию абстрактных параллельных процессов с помощью формализма CSP и по практической спецификации и верификации параллельных процессов средствами SPIN в рамках курса по теории параллелизма, а также на примерах рассматриваются методы решения подобных задач. Пособие предназначено для студентов, изучающих теорию параллельных и распределённых систем.
Доп.точки доступа:
Ануреев, И. С.