The book is currently out of stock
Specifying and validating consistent and dynamically evolving concurrent information systems
Authors
Book variant
2002Book purchase
The book is currently out of stock.
2002We have over a million books in stock
2002