Freunden von diesem Artikel berichten:
Principles of Concurrent and Distributed Programming M. Ben-Ari 2. Ausgabe
Preis
€ 93,99
Bestellware
Lieferdatum: ca. 26. Aug - 2. Sep
Benachrichtigungen über neue Veröffentlichungen von M. Ben-Ari erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 6. Dezember 2005 |
| ISBN13 | 9780321312839 |
| Verlag | Pearson Education (US) |
| Seitenanzahl | 384 |
| Maße | 234 × 173 × 20 mm · 674 g |
| Sprache | Englisch |
