Principles of Concurrent and Distributed Programming
Engelstalig
Koop Tweedehands
Koop NieuwWeb only
De 'adviesprijs' is de prijs die door de fabrikant of leverancier wordt aanbevolen. DeSlegte.com toont deze prijs enkel als referentiekader, zodat je het prijsverschil eenvoudig kunt vergelijken.
Week van het Engelse Boek 12 t/m 25 oktober 2026
+ Gratis boek "The Baby Dragon Tulip Farm" van A.T. Qureshi bij aankoop vanaf €14,99 aan Engelstalige literatuur, Fantasy en Young Adult tijdens de Week van het Engelse boek. Lees meer...
Omschrijving
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.
Anderen bekeken ook
Specificaties
- Auteur:
-
Uitgever:
- ISBN:9780321312839
- Bindwijze:Paperback
- Afmetingen:16,5 x 22,9 x 1,9 cm
- Gewicht:635 gram
- Aantal Pagina's:384
- Taal:Engelstalig
- Druk:1e
- Publicatiedatum:November 2005
Recensies
Recensies van onze lezers
Beoordeel dit boek als eerste!
Om een recensie te schrijven moet je zijn.