Чтение online
Недоступно
Рейтинг издания
Поделиться:

Теория параллелизма. Самостоятельные работы. Учебно-методическое пособие

Издательство:
Новосибирский государственный университет
Авторы:
Гаранина Н.О., Ануреев И.С.
Год издания:
2023
ISBN:
978-5-4437-1474-5
Тип издания:
учебно-методическое пособие
DOI:

Об издании

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

Библиографическая запись

Гаранина, Н. О. Теория параллелизма. Самостоятельные работы : учебно-методическое пособие / Н. О. Гаранина, И. С. Ануреев. — Новосибирск : Новосибирский государственный университет, 2023. — 62 c. — ISBN 978-5-4437-1474-5. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/142623.html (дата обращения: 25.08.2024). — Режим доступа: для авторизир. пользователей

РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ

C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ

Этот сайт использует «cookies». Условия использования «cookies» см. в Пользовательском соглашении. Также сайт использует инструменты для сбора технических данных касательно посетителей с целью получения маркетинговой и статистической информации. Условия обработки данных посетителей сайта см. в Политике конфиденциальности. В случае несогласия с обработкой данных, просим покинуть сайт Принять условия