Share
concurrency theory: calculi an automata for modelling untimed and timed concurrent systems (in English)
Howard Bowman
(Author)
·
Rodolfo Gomez
(Author)
·
Springer
· Hardcover
concurrency theory: calculi an automata for modelling untimed and timed concurrent systems (in English) - Bowman, Howard ; Gomez, Rodolfo
$ 161.04
$ 169.99
You save: $ 8.95
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Monday, June 10 and
Tuesday, June 11.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "concurrency theory: calculi an automata for modelling untimed and timed concurrent systems (in English)"
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)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.
✓ Producto agregado correctamente al carro, Ir a Pagar.