
Fortell venner om denne varen:
Principles of Concurrent and Distributed Programming 2. utgave
M. Ben-Ari
Pris
Kč 2.315
Bestillingsvarer
Forventes levert 25. jun - 2. jul
Legg til iMusic ønskeliste
Eller
Principles of Concurrent and Distributed Programming 2. utgave
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
Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
Utgitt | 6. desember 2005 |
ISBN13 | 9780321312839 |
Utgivere | Pearson Education (US) |
Antall sider | 384 |
Mål | 234 × 173 × 20 mm · 640 g |
Se alt med M. Ben-Ari ( f.eks. Pocketbok )