Fine. Not Issued with a Dust Jacket. 8vo-over 7¾"-9¾" tall. The first printing, 295 pages. "This book is the first to bring together the results of extensive recent reaserch activity about "fairness", one of the more intriguing notions in the theory of concurrent, distributed and nondeterministic programming. The book covers most of the know approaches for proving properties of programs under fairness assumptions. The discussion is developed through the choice of termination as the basic property under investigation, and proof-obligations as a main tool." FINE HARDCOVER.
Price: $30.00 from Alibris
| Stockist | Price | |
|---|---|---|
| Alibris | $30.00 | Visit Store |
Good. All pages and cover are intact. Possible minor highlighting and marginalia. Ships from an indie bookstore in NYC. Trade paperback (US). Glued binding. 240 p.
