Описание
True Concurrency and Atomicity
Артикул Маркета
5951417162
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.
Пэй
2 026 ₽
–50%
–200 ₽
С доставкой по клику
Заказ от 1500₽
Пэй
2 026 ₽
–50%
Доставка Маркета
4 окт, по клику 0 ₽
Москва
4 окт, пункт выдачи 0 ₽
Москва
Быстрый возврат
О возвратах
Т8 Издательские Технологии
Магазин
19.1Kзаказов
594подписчика
6лет на Маркете
О товаре
Описание
Печатная книга «True Concurrency and Atomicity» в мягкой обложке, язык - английский. В книге 92 страниц, она напечатана на белой офсетной бумаге плотностью 80 г/м². Формат издания — 152x229 мм. Все книги аккуратно упаковываем в прочный трёхслойный непрозрачный картонный конверт.
Concurrent software is notoriously error-prone due to the possible unexpected interactions between concurrently executing processes. Testing is often not effective in discovering such errors since such intereferences heavily depends on the chosen scheduling and can appear very rarely. In the book we propose an approach for statically proving the absence of undesired interferences in concurrent programs. The approach is based on the definition of a so-called true concurrent semantics of the program which explicitly describes the possibly concurrent computation steps and their mutual dependencies. In the analysis we focus on atomicity properties, which assert that a program block acts in any computation as it were executed in isolation.
Concurrent software is notoriously error-prone due to the possible unexpected interactions between concurrently executing processes. Testing is often not effective in discovering such errors since such intereferences heavily depends on the chosen scheduling and can appear very rarely. In the book we propose an approach for statically proving the absence of undesired interferences in concurrent programs. The approach is based on the definition of a so-called true concurrent semantics of the program which explicitly describes the possibly concurrent computation steps and their mutual dependencies. In the analysis we focus on atomicity properties, which assert that a program block acts in any computation as it were executed in isolation.
Характеристики
Артикул Маркета
5951417162
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.Возрастное ограничение 18+
Нет отзывов и оценок
Но можно задать вопрос, чтобы узнать о товаре больше
Рекомендуем
Цена с картой Яндекс Пэй 1243 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1394 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1608 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1001 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1991 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 538 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 327 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 246 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 2340 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 996 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1364 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 503 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1736 ₽ вместо
Пэй
Войдите в аккаунтИ тогда откроется корзина, а цены на Маркете могут стать ниже
