portada specification and analysis of concurrent systems: the cosy approach (en Inglés)

specification and analysis of concurrent systems: the cosy approach (en Inglés)

Formato

Libro Físico

Autor

Ryszard Janicki

Peter E. Lauer

Editorial

Springer

Año

2011

Idioma

Inglés

N° páginas

480

Encuadernación

Tapa Blanda

Dimensiones

24.4x17x2.6 cm

Peso

0.79 kg.

ISBN

3642773397

ISBN13

9783642773396

Categorías

Hardware de redes
Programación informática/desarrollo de software
Ciencias de la computación

specification and analysis of concurrent systems: the cosy approach (en Inglés)

Ryszard Janicki (Autor) · Peter E. Lauer (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

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

$ 190.74$ 95.37

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 95.37

Llega entre el 15 Sep y el 28 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "specification and analysis of concurrent systems: the cosy approach (en Inglés)"

The COSY formalism facilitates the abstraction of synchronizational aspects of concurrent and reactive systems, and their analysis. The COSY theory is developed in detail and proofs of major results are given in full. Applications of COSY to practical problems are given.