Name: Protocols by Invariants Paperback (Cambridge International Series on Parallel Computation) (en Inglés)
SKU: 19218691
Price: 84930.00 CLP
Availability: InStock
Author: Schoone, Anneke A.
ISBN: 9780521607551

portada Protocols by Invariants Paperback (Cambridge International Series on Parallel Computation) (en Inglés)

Protocols by Invariants Paperback (Cambridge International Series on Parallel Computation) (en Inglés)

Formato

Libro Físico

Autor

Anneke A. Schoone

Editorial

Cambridge University Press

Año

2004

Idioma

Inglés

N° páginas

208

Encuadernación

Tapa Blanda

Dimensiones

24.6x18.9x1.1 cm

Peso

0.38 kg.

ISBN

0521607558

ISBN13

9780521607551

Categorías

Matemáticas discretas
Lenguajes de programación y extensión/scripting: general
Normas y protocolos de red

Protocols by Invariants Paperback (Cambridge International Series on Parallel Computation) (en Inglés)

Anneke A. Schoone (Autor) · Cambridge University Press · Tapa Blanda

Libro Nuevo Importado

Envío: 9 a 13 días háb.

$ 154.410$ 84.930

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Última Unidad

$ 84.930

Llega entre el 10 Sep y el 16 Sep a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Protocols by Invariants Paperback (Cambridge International Series on Parallel Computation) (en Inglés)"

Algorithms are a set of rules that specify a sequence of actions to be taken to solve a problem. Distributed algorithms, which are designed to solve many problems at once, are conceptually far more complex than algorithms in a single processing unit environment. When the number of simultaneous events becomes large, human minds cannot keep track of all of them. Naturally, it is necessary to know whether a distributed algorithm will have the desired effect. In this book, Dr. Schoone discusses assertational verification by system-wide invariants for use in verifying the behavior of distributed algorithms. The approach is entirely pragmatic; the author considers many different examples, over a wide range of algorithms and protocols. This volume will be an essential purchase for all those with an interest in distributed algorithms.