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