Compartir
concurrency theory: calculi an automata for modelling untimed and timed concurrent systems
Howard Bowman
(Autor)
·
Rodolfo Gomez
(Autor)
·
Springer
· Tapa Blanda
concurrency theory: calculi an automata for modelling untimed and timed concurrent systems - Bowman, Howard ; Gomez, Rodolfo
Sin Stock
Te enviaremos un correo cuando el libro vuelva a estar disponible
Reseña del libro "concurrency theory: calculi an automata for modelling untimed and timed concurrent systems"
The field of concurrency theory is becoming increasingly important, with the problem of formally verifying concurrent distributed systems a critical consideration and a major topic for the software industries. This book, with its extensive applications of the techniques involved in the field of concurrency theory, is the first to adopt this new approach.
- 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.