Name: Session Types (en Inglés)
Price: 76.68 USD
Availability: InStock
Author: Simon J. Gay; Vasco T. Vasconcelos
ISBN: 9781316518274

Selecciona tu país

América

Europa

Resto del mundo

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

Simon J. Gay; Vasco T. Vasconcelos

Idioma

Inglés

N° páginas

246

Encuadernación

Tapa Dura

ISBN13

9781316518274

Session Types (en Inglés)

Simon J. Gay; Vasco T. Vasconcelos (Autor) · Cambridge University Press · Tapa Dura

Libro Nuevo Importado

Envío: 18 a 25 días háb.

$ 153.36$ 76.68

-50%

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

Libro Nuevo

Quedan 100 unidades

$ 76.68

Llega entre el 07 Sep y el 18 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Session Types (en Inglés)"

Session types are type-theoretic specifications of communication protocols in concurrent or distributed systems. By codifying the structure of communication, they make software more reliable and easier to construct. Over recent decades, the topic has become a large and active research area within the field of programming language theory and implementation. Written by leading researchers in the field, this is the first text to provide a comprehensive introduction to the key concepts of session types. The thorough theoretical treatment is complemented by examples and exercises, suitable for use in a lecture course or for self-study. It serves as an entry point to the topic for graduate students and researchers.