Описание
Simplifying Runtime Verification of Distributed Programs
Артикул Маркета
6047245598
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.
Пэй
2 098 ₽
–49%
–200 ₽
С доставкой по клику
Заказ от 1500₽
Пэй
2 098 ₽
–49%
Доставка Маркета
28 сен, по клику 0 ₽
Москва
28 сен, пункт выдачи 0 ₽
Москва
Быстрый возврат
О возвратах
Т8 Издательские Технологии
Магазин
19Kзаказов
589подписчиков
6лет на Маркете
О товаре
Описание
Печатная книга «Simplifying Runtime Verification of Distributed Programs» в мягкой обложке, язык - английский. В книге 112 страниц, она напечатана на белой офсетной бумаге плотностью 80 г/м². Формат издания — 152x229 мм. Все книги аккуратно упаковываем в прочный трёхслойный непрозрачный картонный конверт.
Distributed programs are particularly hard to write and to reason about their correctness. The idea of checking an expected property in a given distributed program run (i.e. runtime verification) has recently been attracting a great deal of attention for analyzing distributed programs. Runtime verification verifies the implementation of the system directly rather than verifying a model of it as is done in model checking. It is also based on formal logics and provides formalism, which is lacked in testing. Due to concurrency, the number of global states of a distributed program run tends to grow exponentially with respect to the number of program statements executed. As a result, checking the satisfaction of a property in a given distributed program run can incur significant overhead. In this book, we investigate various ideas to reduce the cost of runtime verification. These include the use of atoms, exploiting the notion of serialization and finally proposing a methodology that exploits the concept of atoms and partial order semantics to specify and to check properties of distributed programs.
Distributed programs are particularly hard to write and to reason about their correctness. The idea of checking an expected property in a given distributed program run (i.e. runtime verification) has recently been attracting a great deal of attention for analyzing distributed programs. Runtime verification verifies the implementation of the system directly rather than verifying a model of it as is done in model checking. It is also based on formal logics and provides formalism, which is lacked in testing. Due to concurrency, the number of global states of a distributed program run tends to grow exponentially with respect to the number of program statements executed. As a result, checking the satisfaction of a property in a given distributed program run can incur significant overhead. In this book, we investigate various ideas to reduce the cost of runtime verification. These include the use of atoms, exploiting the notion of serialization and finally proposing a methodology that exploits the concept of atoms and partial order semantics to specify and to check properties of distributed programs.
Характеристики
Артикул Маркета
6047245598
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.Возрастное ограничение 18+
Нет отзывов и оценок
Но можно задать вопрос, чтобы узнать о товаре больше
Рекомендуем
Цена с картой Яндекс Пэй 1280 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1303 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1617 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 751 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1981 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 363 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 573 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 279 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 216 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 2296 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 877 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 871 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 1301 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 523 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 627 ₽ вместо
Пэй
Войдите в аккаунтИ тогда откроется корзина, а цены на Маркете могут стать ниже
