
Tell your friends about this item:
Principles of Concurrent and Distributed Programming 2nd edition
M. Ben-Ari
Principles of Concurrent and Distributed Programming 2nd edition
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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | December 6, 2005 |
ISBN13 | 9780321312839 |
Publishers | Pearson Education (US) |
Pages | 384 |
Dimensions | 234 × 173 × 20 mm · 640 g |
See all of M. Ben-Ari ( e.g. Paperback Book )