Теория параллелизма. Самостоятельные работы учебно-методическое пособие
Предлагаются задачи по конструированию абстрактных параллельных процессов с помощью формализма CSP и по практической спецификации и верификации параллельных процессов средствами SPIN в рамках курса по теории параллелизма, а также на примерах рассматриваются методы решения подобных задач. Пособие пре...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Книга |
| Темы: | |
| Online-ссылка: | Перейти к просмотру издания |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 02137nam0a2200337 4500 | ||
|---|---|---|---|
| 001 | RU/IPR SMART/142623 | ||
| 856 | 4 | |u https://www.iprbookshop.ru/142623.html |z Перейти к просмотру издания | |
| 801 | 1 | |a RU |b IPR SMART |c 20250903 |g RCR | |
| 010 | |a 978-5-4437-1474-5 | ||
| 205 | |a Теория параллелизма. Самостоятельные работы |b 2034-08-26 | ||
| 333 | |a Лицензия до 26.08.2034 | ||
| 100 | |a 20250903d2023 k y0rusy01020304ca | ||
| 105 | |a y j 000zy | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 200 | 1 | |a Теория параллелизма. Самостоятельные работы |e учебно-методическое пособие |f Н. О. Гаранина, И. С. Ануреев | |
| 700 | 1 | |a Гаранина, |b Н. О. |4 070 | |
| 701 | 1 | |a Ануреев, |b И. С. |4 070 | |
| 330 | |a Предлагаются задачи по конструированию абстрактных параллельных процессов с помощью формализма CSP и по практической спецификации и верификации параллельных процессов средствами SPIN в рамках курса по теории параллелизма, а также на примерах рассматриваются методы решения подобных задач. Пособие предназначено для студентов, изучающих теорию параллельных и распределённых систем. | ||
| 210 | |a Новосибирск |c Новосибирский государственный университет |d 2023 | ||
| 610 | 1 | |a параллелизм | |
| 610 | 1 | |a параллельные процессы | |
| 675 | |a 004.423 | ||
| 686 | |a 32.97 |2 rubbk | ||
| 300 | |a Книга находится в премиум-версии IPR SMART. | ||
| 106 | |a s | ||
| 230 | |a Электрон. дан. (1 файл) | ||
| 336 | |a Текст | ||
| 337 | |a электронный | ||
| 503 | 0 | |a Доступна эл. версия. IPR SMART | |
| 215 | |a 62 с. | ||