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: Oct 13, 2010
- | Number of Pages: 422 pages
- | Binding: Paperback or Softback
- | ISBN-10: 1849969515
- | ISBN-13: 9781849969512
