Compartir
specification and analysis of concurrent systems: the cosy approach (en Inglés)
Ryszard Janicki
(Autor)
·
Peter E. Lauer
(Autor)
·
Springer
· Tapa Blanda
specification and analysis of concurrent systems: the cosy approach (en Inglés) - Janicki, Ryszard ; Lauer, Peter E.
$ 104.20
$ 109.99
Ahorras: $ 5.79
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis ListasSe enviará desde nuestra bodega entre el
Martes 18 de Junio y el
Miércoles 19 de Junio.
Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.
