Faites connaître cet article à vos amis:
Principles of Concurrent and Distributed Programming M. Ben-Ari 2e édition
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édias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 6 décembre 2005 |
| ISBN13 | 9780321312839 |
| Éditeurs | Pearson Education (US) |
| Pages | 384 |
| Dimensions | 234 × 173 × 20 mm · 674 g |
Voir tous les M. Ben-Ari ( par ex. Paperback Book )
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier