Name: Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (en Inglés)
Price: 65.00 USD
Availability: InStock
Author: Ying, Mingsheng
ISBN: 9781461265221

portada Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (en Inglés)

Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (en Inglés)

Formato

Libro Físico

Autor

Mingsheng Ying

Editorial

Springer

Idioma

Inglés

N° páginas

220

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.2 cm

Peso

0.33 kg.

ISBN13

9781461265221

Categorías

Matemáticas
Sistemas distribuidos
Procesamiento paralelo

Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (en Inglés)

Mingsheng Ying (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

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

$ 108.34$ 65.00

-40%

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

Libro Nuevo

Quedan más de 100 unidades

$ 65.00

Llega entre el 21 Jul y el 03 Ago a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (en Inglés)"

A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Professionals, researchers and graduate students in theoretical computer science will find the discussion helpful for developing new concepts for concurrent and real-time systems.