Principles of Concurrent and Distributed Programming
de
M. Ben-Ari
Editura:
Pearson Education (US)
An:
2005
Pagini:
384
Tip copertă:
Paperback
ISBN:
9780321312839
ISBN-10:
032131283X
Categorii:
Informatică & Programare
Descriere
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.
Opiniile cititorilor
🔥
📚
💌
Fii primul care lasă un review!
Contribuția ta este extrem de valoroasă! Ajută-ne să construim cea mai LIT comunitate de cititori din România.
✍️
Scrie primul review acum
Ai deja cont? Conectează-te aici.