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.
Информация за "Principles of Concurrent and Distributed Programming"
- SKU 9780321312839
- Weight 0.644000
- ISBN 9780321312839
- Вид корица Paperback / softback
- Издателство Pearson Education (US)
- Брой страници 384
The information below is required for social login