Теория параллелизма. Самостоятельные работы. Учебно-методическое пособие
Об издании
Предлагаются задачи по конструированию абстрактных параллельных процессов с помощью формализма CSP и по практической спецификации и верификации параллельных процессов средствами SPIN в рамках курса по теории параллелизма, а также на примерах рассматриваются методы решения подобных задач. Пособие предназначено для студентов, изучающих теорию параллельных и распределённых систем.
Библиографическая запись
Гаранина, Н. О. Теория параллелизма. Самостоятельные работы : учебно-методическое пособие / Н. О. Гаранина, И. С. Ануреев. — Новосибирск : Новосибирский государственный университет, 2023. — 62 c. — ISBN 978-5-4437-1474-5. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/142623.html (дата обращения: 25.08.2024). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Глебов В.В., Кангин М.В., Кангин Е.М., Щеглетов К.А., Кангин А.М.
(Ай Пи Ар Медиа)
Миронов А.В., Садриева А.Н., Филатова Л.П.
(Ай Пи Ар Медиа)
Миронов А.В., Садриева А.Н., Филатова Л.П.
(Профобразование, Ай Пи Ар Медиа)
.jpg)
Лубков В.И., Новичков С.В.
(Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Krainov A.V., Pashkov E.N.
(Томский политехнический университет)
Кулаков А.Т., Денисов А.С., Макушин А.А.
(Инфра-Инженерия)
Сторожев В.И.
(Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ)
(Санкт-Петербургский государственный архитектурно-строительный университет, ЭБС АСВ)
(Санкт-Петербургский государственный архитектурно-строительный университет, ЭБС АСВ)
Пауткин Ю.Ф., Кузнецов В.И.
(Российский университет дружбы народов)
Кужаков В.Е.
(Российский университет дружбы народов)
Питюков В.Ю., Гусева И.В.
(Российская международная академия туризма)