Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Principles of Concurrent and Distributed Programming

Principles of Concurrent and Distributed Programming

av M. Ben-Ari
Principles of Concurrent and Distributed Programming av M. Ben-Ari
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780321312839
  • Format:
  • Häftad
  • Sidor:
  • 384
  • Utgiven:
  • 6. december 2005
  • Utgåva:
  • 2
  • Mått:
  • 234x173x20 mm.
  • Vikt:
  • 640 g.
  I lager
Leveranstid: 4-7 vardagar
Förväntad leverans: 1. augusti 2025

Om M. Ben-Ari

Se alla böcker av M. Ben-Ari

Beskrivning 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.

Användarnas betyg av Principles of Concurrent and Distributed Programming



Andra köpte även...
Hitta liknande böcker
Boken Principles of Concurrent and Distributed Programming finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.