Overview
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.
- | Author: Howard Bowman
- | Publisher: Springer
- | Publication Date: Dec 21, 2005
- | Number of Pages: 422 pages
- | Binding: Hardback or Cased Book
- | ISBN-10: 1852338954
- | ISBN-13: 9781852338954
