Description
| Product ID: | 9780321312839 |
| Product Form: | Paperback / softback |
| Country of Manufacture: | GB |
| Title: | Principles of Concurrent and Distributed Programming |
| Authors: | Author: M. Ben-Ari |
| Page Count: | 384 |
| Subjects: | Algorithms and data structures, Algorithms & data structures, Computer science, Computer science |
| Description: | Select Guide Rating The latest edition of a classic text on concurrency and distributed programming – from a winner of the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education. 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. |
| Imprint Name: | Addison-Wesley Educational Publishers Inc |
| Publisher Name: | Pearson Education (US) |
| Country of Publication: | GB |
| Publishing Date: | 2005-11-29 |
