Name: Stream Based Design of Distributed Systems Through Refinement (en Inglés)
SKU: 62070329
Price: 1655.80 MXN
Availability: InStock
Author: Annette St|Mpel
ISBN: 9783832504625

portada Stream Based Design of Distributed Systems Through Refinement (en Inglés)

Stream Based Design of Distributed Systems Through Refinement (en Inglés)

Formato

Libro Físico

Editorial

Logos Verlag

Autor

Annette St|Mpel

Idioma

Inglés

N° páginas

230

Encuadernación

Tapa Blanda

ISBN13

9783832504625

Stream Based Design of Distributed Systems Through Refinement (en Inglés)

Annette St|Mpel (Autor) · Logos Verlag · Tapa Blanda

Libro Nuevo Importado

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

$ 3,010.55$ 1,655.80

-45%

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

Libro Nuevo

Última Unidad

$ 1,655.80

¡Envío Gratis! Llega entre el 01 Oct y el 12 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Stream Based Design of Distributed Systems Through Refinement (en Inglés)"

A distributed system consists of cooperating interactive components running concurrently and exchanging information by communication. The development of such systems needs a formal design process that step by step transforms an abstract specification into a concrete one by systematic refinement. The book provides definitions, concepts, and examples for correctness preserving refinement techniques explicating the underlying design decisions. The refinement rules are based on specifications which model communication histories with streams. The presentation covers state refinement, property refinement, interface refinement, architecture refinement, and communication refinement. It focusses on state refinement which constitutes the step from a history based to a state based specification of a component. The other notions of refinement are presented particularly regarding their relationship to state refinement.