Name: Concurrency Verification Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)
SKU: 4345217
Price: 2343.37 MXN
Availability: InStock
Author: Roever; Boer; Hanneman
ISBN: 9780521169325

portada Concurrency Verification Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Concurrency Verification Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

Roever; Boer; Hanneman

Año

2011

Idioma

Inglés

N° páginas

800

Encuadernación

Tapa Blanda

ISBN13

9780521169325

N° edición

Categorías

Lenguajes de programación y extensión/scripting: general

Concurrency Verification Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Roever; Boer; Hanneman (Autor) · Cambridge University Press · Tapa Blanda

Libro Nuevo Importado

Envío: 14 a 19 días háb.

$ 3,905.61$ 2,343.37

-40%

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

Libro Nuevo

Quedan más de 100 unidades

$ 2,343.37

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

Agregar a lista de deseos

Reseña del libro "Concurrency Verification Paperback (Cambridge Tracts in Theoretical Computer Science) (en Inglés)"

This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. The book is self-contained, guiding the reader from advanced undergraduate level to the state-of-the-art. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.