Principles of Concurrent and Distributed Programming - M. Ben-Ari - Books - Pearson Education (US) - 9780321312839 - December 6, 2005
In case cover and title do not match, the title is correct

Principles of Concurrent and Distributed Programming 2nd edition

M. Ben-Ari

Price
HK$ 845
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 30 - Jul 9
Add to your iMusic wish list

Principles of Concurrent and Distributed Programming 2nd edition

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