Principles of Concurrent and Distributed Programming - Ben-Ari, M.
Stabilní cena
Cenu sledujeme od 20. 7. 2026 a zatím se drží na 2 375 Kč.
O produktu
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.
Tip: Podívejte se také na další produkty z kategorie Algoritmy a datové struktury.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9780321312839
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
