Principles of Concurrent and Distributed Programming - M. Ben-Ari - Livres - Pearson Education (US) - 9780321312839 - 6 décembre 2005
Si la couverture et le titre ne correspondent pas, le titre est correct.

Principles of Concurrent and Distributed Programming 2e édition

Prix
€ 95,49

Commandé depuis un entrepôt distant

Livraison prévue 1 - 8 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Ajouter à votre liste de souhaits iMusic

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