Conte aos seus amigos sobre este item:
Principles of Concurrent and Distributed Programming M. Ben-Ari 2th edição
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 6 de dezembro de 2005 |
| ISBN13 | 9780321312839 |
| Editoras | Pearson Education (US) |
| Páginas | 384 |
| Dimensões | 234 × 173 × 20 mm · 674 g |
Ver tudo de M. Ben-Ari ( por exemplo Paperback Book )
Presentes de Natal podem ser trocados até 31 de janeiro