Name: Modelling Distributed Systems (Texts in Theoretical Computer Science. An Eatcs Series) (en Inglés)
SKU: 53351729
Price: 54.22 USD
Availability: InStock
Author: Wan Fokkink

portada Modelling Distributed Systems (Texts in Theoretical Computer Science. An Eatcs Series) (en Inglés)

Modelling Distributed Systems (Texts in Theoretical Computer Science. An Eatcs Series) (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Wan Fokkink

Año

2007

Idioma

Inglés

N° páginas

164

Encuadernación

Tapa Dura

ISBN13

9783540739371

N° edición

2007

Categorías

Ciencias de la computación

Modelling Distributed Systems (Texts in Theoretical Computer Science. An Eatcs Series) (en Inglés)

Wan Fokkink (Autor) · Springer · Tapa Dura

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 108.45$ 54.22

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 54.22

Llega entre el 08 Sep y el 21 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Modelling Distributed Systems (Texts in Theoretical Computer Science. An Eatcs Series) (en Inglés)"

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs µCRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.