Norges billigste bøker

Principles of Concurrent and Distributed Programming

Om Principles of Concurrent and Distributed Programming

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780321312839
  • Bindende:
  • Paperback
  • Sider:
  • 384
  • Utgitt:
  • 6. desember 2005
  • Utgave:
  • 2
  • Dimensjoner:
  • 234x173x20 mm.
  • Vekt:
  • 640 g.
  På lager
Leveringstid: 4-8 virkedager
Forventet levering: 11. september 2025

Beskrivelse av Principles of Concurrent and Distributed Programming

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.

Brukervurderinger av Principles of Concurrent and Distributed Programming



Finn lignende bøker
Boken Principles of Concurrent and Distributed Programming finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.