Principles of Concurrent and Distributed Programming

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.
€71,99

Levertijd: 4 tot 10 werkdagen.

Specificaties

ISBN
9780321312839
Uitgever
Pearson Education (US)
Druk
2e
Verschenen
01-01-2005
Taal
Engels
Bladzijden
384 pp.
Bindwijze
Paperback
Genre
Nederlandstalige literatuur

Delen op

Meer op Athenaeum.nl over boeken

Koop uw boeken bij Athenaeum

  • Gratis verzending vanaf € 20,- (in de algemene webwinkel, binnen Nederland).
  • Bestellen zonder registratie of login.
  • Vertrouwde service, veilige afhandeling.
MINDBOOKSATH : athenaeum