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

M. Ben-Ari
Principles of Concurrent and Distributed Programming 2nd edition

Price
$ 106.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 2 - 14, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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   ·   674 g

See all of M. Ben-Ari ( e.g. Paperback Book )