Principles of Concurrent and Distributed Programming (Bog, Paperback / softback, Engelsk) af M. Ben-Ari

Principles of Concurrent and Distributed Programming

(Bog, Paperback / softback, Engelsk)
Forfatter: M. Ben-Ari

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Pearson Education (US)
Forfatter M. Ben-Ari
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2 ed
Udgivelsesdato 06-12-2005
Første udgivelsesår 2005
Originalsprog United States
Sideantal 384
Indbinding Paperback / softback
Forlag Pearson Education (US)
Sideoplysninger 384 pages
Mål 173 x 234 x 20
ISBN-13 / EAN-13 9780321312839