分享给好友:
Principles of Concurrent and Distributed Programming M. Ben-Ari 第2 版本
Principles of Concurrent and Distributed Programming
M. Ben-Ari
From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness.
384 pages, illustrations
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2005年12月6日 |
| ISBN13 | 9780321312839 |
| 出版商 | Pearson Education (US) |
| 页数 | 384 |
| 商品尺寸 | 234 × 173 × 20 mm · 674 g |
| 语言 | 英语 |
