Principles of Concurrent and Distributed Programming
Ben-Ari M.
Engels | 29-11-2005 | 384 pagina's
9780321312839
Paperback / softback
99,00
Ruilen mogelijk binnen de 14 dagen (niet op specifieke bestellingen)
Gratis leveren aan huis in Sint-Niklaas
Tekst achterflap
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.
Beschrijving
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.
Details
| EAN : | 9780321312839 |
| Uitgever : | Addison Wesley |
| Publicatie datum : | 29-11-2005 |
| Uitvoering : | Paperback / softback |
| Taal/Talen : | Engels |
| Hoogte : | 229 mm |
| Breedte : | 165 mm |
| Dikte : | 19 mm |
| Gewicht : | 635 gr |
| Status : | Te bestellen |
| Aantal pagina's : | 384 |